In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous pi-calculus, distributed pi-calculus, and some dialects of Mobile/Boxed/Safe ambients. In particular, we focus on their relative expressive power, i.e. we try to encode every language in the other while respecting some reasonable properties. According to the possibility or the impossibility for such results, we set up a taxonomy of these languages. Our study enables understanding, for every pair of calculi, which features of one can be rendered in the other and how this is possible, or which features cannot be rendered and why this is impossible.
A taxonomy of process calculi for distribution and mobility / Gorla, Daniele. - In: DISTRIBUTED COMPUTING. - ISSN 0178-2770. - STAMPA. - 23:4(2010), pp. 273-299. [10.1007/s00446-010-0120-6]
A taxonomy of process calculi for distribution and mobility
GORLA, DANIELE
2010
Abstract
In this paper, we comparatively analyze some mainstream calculi for mobility and distribution, together with some of their variants: asynchronous pi-calculus, distributed pi-calculus, and some dialects of Mobile/Boxed/Safe ambients. In particular, we focus on their relative expressive power, i.e. we try to encode every language in the other while respecting some reasonable properties. According to the possibility or the impossibility for such results, we set up a taxonomy of these languages. Our study enables understanding, for every pair of calculi, which features of one can be rendered in the other and how this is possible, or which features cannot be rendered and why this is impossible.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.