In this paper, we comparatively analyze some mainstream calculi for mobility: asynchronous π-calculus, distributed π-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. © 2009 Elsevier B.V. All rights reserved.
On the Relative Expressive Power of Calculi for Mobility / Gorla, Daniele. - ELETTRONICO. - 249:(2009), pp. 269-286. (Intervento presentato al convegno 25a conferenza su Mathematical Foundations of Programming Semantics (MFPS XXV) tenutosi a Oxford (UK) nel 3-7 Aprile 2009) [10.1016/j.entcs.2009.07.094].
On the Relative Expressive Power of Calculi for Mobility
GORLA, DANIELE
2009
Abstract
In this paper, we comparatively analyze some mainstream calculi for mobility: asynchronous π-calculus, distributed π-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. © 2009 Elsevier B.V. All rights reserved.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.