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.
Chapter PDF
Keywords
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.
References
S. Abramsky. Proofs as Processes. Theoretical Computer Science, 135(1):5–9, December 1994.
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.
G. Boudol. Asynchrony and the π-Calculus (note). Report RR-1702, INRIA, Sophia Antipolis, May 1992.
F. van Breugel. A Labelled Transition System for πε-Calculus. Report, University of Pisa, Pisa, 1997.
G. Bellin and P. Scott. On the π-Calculus and Linear Logic. Theoretical Computer Science, 135(1):11–65, December 1994.
J. Engelfriet. A Multiset Semantics for the π-Calculus. Theoretical Computer Science, 153(1/2):65–94, January 1996.
G. Ferrari. On Reduction Semantics for Timed Calculi. Draft, October 1996.
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.
M. Hennessy. A Fully Abstract Denotational Semantics for the π-Calculus. Report 96:04, University of Sussex, Brighton, June 1996.
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.
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.
R. Milner. The Polyadic π-Calculus: a tutorial. Report ECS-LFCS-91-180, University of Edinburgh, Edinburgh, October 1991.
R. Milner. Functions as Processes. Mathematical Structures in Computer Science, 2(2):119–141, June 1992.
R. Milner. Action Structures for the π-Calculus. Report ECS-LFCS-93-264, University of Edinburgh, Edinburgh, May 1993.
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.
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.
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.
G.D. Plotkin. A Structural Approach to Operational Semantics. Report DAIMI FN-19, Aarhus University, Aarhus, September 1981.
D. Sangiorgi. Expressing Mobility in Process Algebras: first-order and higher-order paradigms. PhD thesis, University of Edinburgh, Edinburgh, 1992.
D. Sangiorgi. π-Calculus, Internal Mobility, and Agent-Passing Calculi. Theoretical Computer Science, 167(1/2):235–274, October 1996.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Breugel, F. (1997). A labelled transition system for πε-calculus. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030607
Download citation
DOI: https://doi.org/10.1007/BFb0030607
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive