Abstract
In this paper we introduce and study a graphical representation of the join calculus given by the so called jc-nets. jc-nets provide a fully abstract semantics for a Turing complete fragment of the join calculus. Thus a new formal model for concurrency and distributed systems is introduced.This new formal model simplifies Milner’s π-nets, while preserving their expressive power.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G. Ciobanu, M. Rotaru.“Faithful π-nets.A Graphical Representation of the Asynchronous π-calculus”, ENTCS, vol.18, 22 p, North-Holland, 1998.
G. Ciobanu, M. Rotaru. “A π-calculus Machine”. In Journal of Universal Computer Science, vol.6(1), 39–59, Springer, 2000.
C. Fournet, G. Gonthier. “The Reflexive CHAM and the Join Calculus”.In Proc. POPL’96, ACM Press, 1996.
C. Fournet. “The Join-Calculus: A calculus for Distributed Mobile Programming”, PhD thesis, INRIA Rocquencourt, 1998.
Kon99.B. König. “Description and Verification of Mobile Processes with Graph Rewriting Techniques”, PhD thesis, Technische Universität München, 1999.
Lev98.J. J. Lévy. “Some Results in the Join Calculus”.In Proc.TACS’97, LNCS vol.1281, Springer, 233–249, 1997.
A. Mifsud, R. Milner, A.J. Parrow. “Control Structures”,.In Proc. LICS’95.
A. Mifsud.PhD thesis, University of Edinburgh, 1996.
R. Milner. “The Polyadic p-calculus: a Tutorial”.In Logic and Algebra of Specification, Springer, 203–246, 1993.
R. Milner. “ π-nets: a Graphical Form of π-calculus”.In Proc. ESOP’94, LNCS 788, Springer, 26–42, 1994.
R. Milner. “Calculi for Interaction”, Acta Informatica 33 (8), 707–737, 1996.
Mil99.R. Milner. Communicating and Mobile Systems: the π-calculus, Cambridge University Press, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciobanu, G., Rotaru, M. (2001). JC-Nets. In: Margenstern, M., Rogozhin, Y. (eds) Machines, Computations, and Universality. MCU 2001. Lecture Notes in Computer Science, vol 2055. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45132-3_12
Download citation
DOI: https://doi.org/10.1007/3-540-45132-3_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42121-4
Online ISBN: 978-3-540-45132-7
eBook Packages: Springer Book Archive