# A labelled transition system for π_{ε}-calculus

II CAAP CAAP-4: Bisimulations and Pi-calculus

First Online:

## Abstract

A labelled transition system is presented for Milner's π_{ε}-calculus. This system is related to the reduction system for the calculus presented by Bellin and Scott. Also a reduction system and a labelled transition system for π_{ε}I-calculus are given and their correspondence is studied. This calculus is a subcalculus of π_{ε}-calculus in the way Sangiorgi's πI-calculus is a subcalculus of ordinary π-calculus.

## Keywords

Transition Relation Reduction System Label Transition System Side Condition Internal Mobility
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download
to read the full conference paper text

## References

- [Abr94]S. Abramsky. Proofs as Processes.
*Theoretical Computer Science*, 135(1):5–9, December 1994.CrossRefGoogle Scholar - [ACS96]R.M. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulation for the Asynchronous π-Calculus. In U. Montanari and V. Sassone, editors,
*Proceedings of CONCUR'96*, volume 1119 of*Lecture Notes in Computer Science*, pages 147–162, Pisa, August 1996. Springer-Verlag.Google Scholar - [Bou92]G. Boudol. Asynchrony and the π-Calculus (note). Report RR-1702, INRIA, Sophia Antipolis, May 1992.Google Scholar
- [Bre97]F. van Breugel. A Labelled Transition System for π
_{ε}-Calculus. Report, University of Pisa, Pisa, 1997.Google Scholar - [BS94]G. Bellin and P. Scott. On the π-Calculus and Linear Logic.
*Theoretical Computer Science*, 135(1):11–65, December 1994.CrossRefGoogle Scholar - [Eng96]J. Engelfriet. A Multiset Semantics for the π-Calculus.
*Theoretical Computer Science*, 153(1/2):65–94, January 1996.CrossRefGoogle Scholar - [Fer96]G. Ferrari. On Reduction Semantics for Timed Calculi. Draft, October 1996.Google Scholar
- [FMS96]M. Fiore, E. Moggi, and D. Sangiorgi. A Fully Abstract Model for the π-Calculus. In
*Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science*, pages 43–54, New Brunswick, July 1996. IEEE Computer Society Press.Google Scholar - [Hen96]M. Hennessy. A Fully Abstract Denotational Semantics for the π-Calculus. Report 96:04, University of Sussex, Brighton, June 1996.Google Scholar
- [HT91]K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In P. America, editor,
*Proceedings of the European Conference on Object-Oriented Programming*, volume 512 of*Lecture Notes in Computer Science*, pages 133–147, Geneva, July 1991. Springer-Verlag.Google Scholar - [HY93]K. Honda and N. Yoshida. On Reduction-Based Process Semantics. In R.K. Shyamasundar, editor,
*Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science*, volume 761 of*Lecture Notes in Computer Science*, pages 371–387, Bombay, December 1993. Springer-Verlag.Google Scholar - [Mil91]R. Milner. The Polyadic π-Calculus: a tutorial. Report ECS-LFCS-91-180, University of Edinburgh, Edinburgh, October 1991.Google Scholar
- [Mil92]R. Milner. Functions as Processes.
*Mathematical Structures in Computer Science*, 2(2):119–141, June 1992.Google Scholar - [Mil93]R. Milner. Action Structures for the π-Calculus. Report ECS-LFCS-93-264, University of Edinburgh, Edinburgh, May 1993.Google Scholar
- [MP95]U. Montanari and M. Pistore. Concurrent Semantics for the π-Calculus. In S. Brookes, M. Main, A. Melton, and M. Mislove, editors,
*Proceedings of the 11th Annual Conference on Mathematical Foundations of Programming Semantics*, volume 1 of*Electronic Notes in Theoretical Computer Science*, New Orleans, March/April 1995. Elsevier Science.Google Scholar - [MPW91]R. Milner, J. Parrow, and D. Walker. Modal Logics for Mobile Processes. In J.C.M. Baeten and J.F. Groote, editors,
*Proceedings of CONCUR'91*, volume 527 of*Lecture Notes in Computer Science*, pages 45–60, Amsterdam, August 1991. Springer-Verlag.Google Scholar - [MPW92]R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, I and II.
*Information and Computation*, 100(1):1–40 and 41–77, September 1992.CrossRefGoogle Scholar - [Plo81]G.D. Plotkin. A Structural Approach to Operational Semantics. Report DAIMI FN-19, Aarhus University, Aarhus, September 1981.Google Scholar
- [San92]D. Sangiorgi.
*Expressing Mobility in Process Algebras: first-order and higher-order paradigms*. PhD thesis, University of Edinburgh, Edinburgh, 1992.Google Scholar - [San96]D. Sangiorgi. π-Calculus, Internal Mobility, and Agent-Passing Calculi.
*Theoretical Computer Science*, 167(1/2):235–274, October 1996.CrossRefGoogle Scholar - [Sta96]I. Stark. A Fully Abstract Domain Model for the π-Calculus. In
*Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science*, pages 36–42, New Brunswick, July 1996. IEEE Computer Society Press.Google Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1997