Abstract
We present two novel semantics for π-calculus. The first allows one to observe on which channel a synchronization is performed, while the second allows concurrent actions, provided that they do not compete for resources. We present both a reduction and a labeled semantics, and show that they induce the same behavioral equivalence. As our main result we show that bisimilarity is a congruence for the concurrent semantics. This important property fails for the standard semantics.
Research supported by the Project FET-GC II IST 16004 Sensoria.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boreale, M., Sangiorgi, D.: Some Congruence Properties of pi-Calculus Bisimilarities. Theoret. Comput. Sci. 198(1–2), 1–2 (1998)
Bruni, R., Lanese, I.: PRISMA: A Mobile Calculus with Parametric Synchronization. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, Springer, Heidelberg (2007)
Busi, N., Gorrieri, R.: A Petri Net Semantics for pi-Calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 145–159. Springer, Heidelberg (1995)
Concurrent and Located Synchronizations in π-Calculus, extended version. http://www.cs.unibo.it/~lanese/publications/fulltext/sofsem2007ext.pdf.gz
Ferrari, G.L., Montanari, U., Tuosto, E.: A LTS Semantics of Ambients via Graph Synchronization with Mobility. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol. 2202, pp. 1–16. Springer, Heidelberg (2001)
Lanese, I.: Synchronization Strategies for Global Computing Models. PhD Thesis, Computer Science Department, University of Pisa, Pisa, Italy (2006)
Lanese, I., Montanari, U.: A Graphical Fusion Calculus. In: Proceedings of the Workshop of the COMETA Project on Computational Metamodels, vol. 104, pp. 199–215 (2004)
Milner, R., Parrow, J., Walker, J.: A Calculus of Mobile Processes, I and II. Inform. and Comput. 100(1), 1–77 (1992)
Montanari, U., Pistore, M.: Concurrent Semantics for the pi-Calculus. In: Proc. of MFPS’95. ENTCS, vol. 1, Elsevier Science, Amsterdam (1995)
Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: Proc. of LICS’98, pp. 176–185. IEEE Computer Society Press, Los Alamitos (1998)
Sangiorgi, D.: Locality and Interleaving Semantics in Calculi for Mobile Processes. Theoret. Comput. Sci. 155(1), 39–83 (1996)
Sangiorgi, D.: A Theory of Bisimulation for the pi-Calculus. Acta Inf. 33(1), 69–97 (1996)
Sangiorgi, D., Walker, D.: Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Varacca, D., Yoshida, N.: Typed Event Structures and the pi-Calculus. ENTCS 158, 373–397 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Lanese, I. (2007). Concurrent and Located Synchronizations in π-Calculus . In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)