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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.4336

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6567

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

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

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

P. Gardner and L. Wischik, Explicit Fusions, MFCS, volume 1893 of LNCS, pp.373-382, 2000.
DOI : 10.1007/3-540-44612-5_33

D. Hirschkoff, J. Madiot, and D. Sangiorgi, Name-passing calculi: From fusions to preorders and types, LICS, pp.378-387, 2013.
DOI : 10.1016/j.ic.2016.10.003

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

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

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.7169

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

URL : http://basics.sjtu.edu.cn/~yuehg/lics/1993 typing and subtyping for mobile processes.pdf

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

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