M. Abadi and C. Fournet, Mobile values, new names, and secure communication, Proc. of POPL, pp.104-115, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01423924

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: Mobile Processes, Nominal Data, and Logic, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.39-48, 2009.
DOI : 10.1109/LICS.2009.20

M. Boreale, M. G. Buscemi, and U. Montanari, D-Fusion: A Distinctive Fusion Calculus, Proc. APLAS, pp.296-310, 2004.
DOI : 10.1007/978-3-540-30477-7_20

M. Boreale, M. G. Buscemi, and U. Montanari, A General Name Binding Mechanism, Proc. TGC, pp.61-74, 2005.
DOI : 10.1007/11580850_5

S. Carpineti, C. Laneve, and L. Padovani, PiDuce ??? A project for experimenting Web services technologies, Science of Computer Programming, vol.74, issue.10, pp.777-811, 2009.
DOI : 10.1016/j.scico.2009.03.002

Y. Deng and D. Sangiorgi, Towards an algebraic theory of typed mobile processes, Theoretical Computer Science, vol.350, issue.2-3, pp.188-212, 2006.
DOI : 10.1016/j.tcs.2005.10.029

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

T. Ehrhard and O. Laurent, Acyclic Solos and Differential Interaction Nets, Logical Methods in Computer Science, vol.6, issue.3, 2010.
DOI : 10.2168/LMCS-6(3:11)2010

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

Y. Fu, The ?-calculus, APDC, pp.74-81, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00155354

P. Gardner, C. Laneve, and L. Wischik, The Fusion Machine, CONCUR, volume 2421 of Lecture Notes in Computer Science, pp.418-433, 2002.
DOI : 10.1007/3-540-45694-5_28

D. Hirschkoff, J. Madiot, and D. Sangiorgi, Name-passing calculi: From fusions to preorders and types, LICS, pp.378-387, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00904138

D. Hirschkoff, J. Madiot, and X. Xu, Long version of this paper. Available from http

K. Honda and N. Yoshida, On reduction-based process semantics, Theor. Comp. Sci, vol.152, issue.2, pp.437-486, 1995.

C. Laneve and B. Victor, Solos in concert, Mathematical Structures in Computer Science, vol.13, issue.5, pp.657-683, 2003.
DOI : 10.1017/S0960129503004055

J. Liu and H. Lin, Proof System for Applied Pi Calculus, Proc. IFIP TCS, pp.229-243, 2010.
DOI : 10.1007/978-3-642-15240-5_17

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

J. Parrow and D. Sangiorgi, Algebraic Theories for Name-Passing Calculi, Information and Computation, vol.120, issue.2, pp.174-197, 1995.
DOI : 10.1006/inco.1995.1108

J. Parrow and B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), pp.176-185, 1998.
DOI : 10.1109/LICS.1998.705654

B. C. Pierce and D. Sangiorgi, Typing and subtyping for mobile processes, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, pp.409-453, 1996.
DOI : 10.1109/LICS.1993.287570

D. Sangiorgi and D. Walker, The Pi-Calculus: a theory of mobile processes, 2001.

B. Victor and J. Parrow, Concurrent constraints in the fusion calculus, Proc. ICALP, pp.455-469, 1998.
DOI : 10.1007/BFb0055075

L. Wischik and P. Gardner, Strong Bisimulation for the Explicit Fusion Calculus, Proc. of FoSSaCS, pp.484-498, 2004.
DOI : 10.1007/978-3-540-24727-2_34