Comparing the expressive power of the synchronous and asynchronous-calculi
C Palamidessi - Mathematical Structures in Computer Science, 2003 - cambridge.org
Mathematical Structures in Computer Science, 2003•cambridge.org
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi Page 1
Math. Struct. in Comp. Science (2003), vol. 13, pp. 685–719. c 2003 Cambridge University Press
DOI: 10.1017/S0960129503004043 Printed in the United Kingdom Comparing the expressive
power of the synchronous and asynchronous π-calculi † CATUSCIA PALAMIDESSI INRIA Futurs,
LIX, École Polytechnique, 91128 Palaiseau Cedex, France Email: catuscia@lix.polytechnique.fr
Received 20 February 2001; revised 20 May 2002 The Asynchronous π-calculus, proposed …
Math. Struct. in Comp. Science (2003), vol. 13, pp. 685–719. c 2003 Cambridge University Press
DOI: 10.1017/S0960129503004043 Printed in the United Kingdom Comparing the expressive
power of the synchronous and asynchronous π-calculi † CATUSCIA PALAMIDESSI INRIA Futurs,
LIX, École Polytechnique, 91128 Palaiseau Cedex, France Email: catuscia@lix.polytechnique.fr
Received 20 February 2001; revised 20 May 2002 The Asynchronous π-calculus, proposed …
The Asynchronous -calculus proposed by Sangiorgi where the output actions can only transmit private names.
Cambridge University Press