Mobile Calculi based on Domains

XPi: a typed process calculus for XML messaging

L. Acciai and M.Boreale


We present XPi, a core calculus for XML messaging. XPi features asynchronous communications, pattern matching, name and code mobility, integration of static and dynamic typing. Flexibility and expressiveness of this calculus are illustrated by a few examples, some concerning description and discovery of web services. In XPi, a type system disciplines XML message handling at the level of channels, patterns and processes. A run-time safety theorem ensures that in well-typed systems no service will ever receive documents it cannot understand, and that the offered services, even if re-defined, will comply with the declared channel capacities.

  author = \{L. Acciai and M.Boreale},
  title = \{XPi: a typed process calculus for XML messaging},
  booktitle = \{Proceedings of FMOODS05},
  year = \{2005}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:07:07 CEST 2017