Communicating and Mobile Systems: The ?-Calculus, 1999. ,
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
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs, J. Log. Algebr. Program, pp.78-138, 2009. ,
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
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
An interview with Robin Milner, 2003. ,
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
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
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
Causality for mobile processes, Lecture Notes in Computer Science, vol.944, pp.660-671, 1995. ,
DOI : 10.1007/3-540-60084-1_113
History-Dependent Automata: An Introduction, In: SFM. Lecture Notes in Computer Science, vol.3465, pp.1-28, 2005. ,
DOI : 10.1007/11419822_1