On the Relative Expressive Power of Calculi for Mobility

Daniele Gorla

Paper to appear in the 25th International Conference on Mathematical Foundations of Programming Semantics (MFPS XXV), Oxford (UK), April 3rd-7th, 2009.
Full version available as Tech. Rep. 09/2006, Dip Informatica, Univ. di Roma "La Sapienza".

Abstract:

In this paper, we comparatively analyze some mainstream calculi for mobility: asynchronous pi-calculus, distributed pi-calculus and Mobile/Boxed/Safe ambients. In particular, we focus on their relative expressive power, i.e. we try to encode one in the other while respecting some reasonable properties. According to the possibility or the impossibility for such results, we set up a hierarchy of these languages.

@InProceedings{G:MFPS09,
  author    =   {D. Gorla},
  title     =   {On the Relative Expressive Power of Calculi for Mobility},
  editor    =   {S. Abramsky, M. Mislove, C. Palamidessi},
  booktitle =   {Proc. of 25th International Conference on Mathematical Foundational of Programming Semantics (MFPS XXV)},
  series    =   {ENTCS},
  number    =  	{249},
  pages     =  	{269--286},
  year      =  	{2009},
  publisher =   {Elsevier},
}