B. 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

N. Kobayashi, Type Systems for Concurrent Programs, 10th Anniversary Colloquium of UNU/IIST, ser. LNCS, pp.439-453, 2003.
DOI : 10.1007/978-3-540-40007-3_26

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP, ser. LNCS, pp.122-138, 1998.
DOI : 10.1007/BFb0053567

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

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

L. Wischik and P. Gardner, Explicit fusions, Theoretical Computer Science, vol.340, issue.3, pp.606-630, 2005.
DOI : 10.1016/j.tcs.2005.03.017

Y. Fu, The ?-calculus, " in APDC, IEEE Comp. Soc, pp.74-81, 1997.

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

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

J. Parrow and B. Victor, The tau-laws of fusion, CONCUR, ser. LNCS, pp.99-114, 1998.
DOI : 10.1007/BFb0055618

G. L. Ferrari, U. Montanari, E. Tuosto, B. Victor, and K. Yemane, Modelling Fusion Calculus using HD-Automata, CALCO, ser. LNCS, pp.142-156, 2005.
DOI : 10.1007/11548133_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.7122

F. Bonchi, M. G. Buscemi, V. Ciancia, and F. Gadducci, A Presheaf Environment for the Explicit Fusion Calculus, Journal of Automated Reasoning, vol.340, issue.3, pp.161-183, 2012.
DOI : 10.1007/s10817-011-9224-3
URL : https://hal.archives-ouvertes.fr/hal-00777522

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

N. Kobayashi, B. Pierce, and D. Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999.
DOI : 10.1145/330249.330251

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

R. , D. Nicola, and M. Hennessy, Testing equivalences for processes, Theor. Comput. Sci, vol.34, pp.83-133, 1984.

D. Sangiorgi, ??-Calculus, internal mobility, and agent-passing calculi, Theoretical Computer Science, vol.167, issue.1-2, pp.235-274, 1996.
DOI : 10.1016/0304-3975(96)00075-8
URL : http://doi.org/10.1016/0304-3975(96)00075-8

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

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

B. Victor, The fusion calculus : Expressiveness and symmetry in mobile processes, 1998.