R. Milner, Communicating and Mobile Systems: The ?-Calculus, 1999.

N. Busi and R. Gorrieri, A Petri net semantics for ??-calculus, In: CONCUR. Lecture Notes in Computer Science, vol.962, pp.145-159, 1995.
DOI : 10.1007/3-540-60218-6_11

N. Busi and R. Gorrieri, Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs, J. Log. Algebr. Program, pp.78-138, 2009.

R. Meyer and R. Gorrieri, On the Relationship between ??-Calculus and Finite Place/Transition Petri Nets, In: CONCUR. Lecture Notes in Computer Science, vol.46, issue.2, pp.463-480, 2009.
DOI : 10.1007/3-540-60218-6_4

R. Devillers, H. Klaudel, and M. Koutny, A compositional Petri net translation of general ?-calculus terms. Formal Asp, Comput, vol.20, pp.429-450, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340124

M. Berger, An interview with Robin Milner, 2003.

F. Peschanski and J. A. Bialkiewicz, Modelling and Verifying Mobile Systems Using ??-Graphs, In: SOFSEM. Lecture Notes in Computer Science, vol.16, pp.437-448, 2009.
DOI : 10.1007/3-540-44612-5_52

URL : https://hal.archives-ouvertes.fr/hal-01297406

F. Peschanski, H. Klaudel, and R. Devillers, A Decidable Characterization of a Graphical Pi-calculus with Iterators, Electronic Proceedings in Theoretical Computer Science, vol.39, pp.47-61, 2010.
DOI : 10.4204/EPTCS.39.4

URL : https://hal.archives-ouvertes.fr/hal-00628499

N. Busi, M. Gabbrielli, and G. Zavattaro, Comparing Recursion, Replication, and Iteration in Process Calculi, Lecture Notes in Computer Science, vol.3142, pp.307-319, 2004.
DOI : 10.1007/978-3-540-27836-8_28

P. Degano and C. Priami, Causality for mobile processes, Lecture Notes in Computer Science, vol.944, pp.660-671, 1995.
DOI : 10.1007/3-540-60084-1_113

U. Montanari and M. Pistore, History-Dependent Automata: An Introduction, In: SFM. Lecture Notes in Computer Science, vol.3465, pp.1-28, 2005.
DOI : 10.1007/11419822_1