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

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

D. Hirschkoff, J. M. Madiot, and D. Sangiorgi, On subtyping in symmetric versions of the ?-calculus, p.2012

M. Merro, Locality in the pi-calculus and applications to distributed objects, 2000.

R. Milner, Functions as processes, Mathematical Structures in Computer Science, vol.4, issue.02, pp.119-141, 1992.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075405

M. Merro and D. Sangiorgi, On asynchrony in name-passing calculi, Mathematical Structures in Computer Science, vol.14, issue.5, pp.715-767, 2004.
DOI : 10.1017/S0960129504004323

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

D. Sangiorgi, ??-Calculus, internal mobility, and agent-passing calculi, Selected papers from TAPSOFT '95, pp.235-274, 1996.
DOI : 10.1016/0304-3975(96)00075-8
URL : http://doi.org/10.1016/0304-3975(96)00075-8

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

V. T. Vasconcelos, S. Van-bakel, M. G. Vigliotti, S. Van-bakel, and M. G. Vigliotti, Fundamentals of session types A logical interpretation of the ?-calculus into the ?-calculus, preserving spine reduction and types Implicative logic based encoding of the ?-calculus into the ?-calculus, Proc. of SFM Proc. of CONCUR, pp.158-186, 2009.