1. R. Milner, Communicating and Mobile Systems: The Pi-Calculus (Cambridge University Press, Cambridge, 1999)
2. R. Milner, J. Parrow, D. Walker, Inf. Comput. 100(1), 1 (1992)
3. D. Sangiorgi, D. Walker, The Pi-Calculus - A Theory of Mobile Processes (Cambridge University Press, Cambridge, 2001)
4. L. Cardelli, A. Gordon, in Proceedings of the $$1{\rm st}$$ International Conference on the Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science, vol. 1378 (Springer Verlag, Lisbon, Portugal, 1998), pp. 140–155
5. C.A. Petri, Kommunikation mit automaten. Technical report 2, Schriften des Institutes für Instrumentelle Mathematik (1962)