Z. Cao, More on bisimulations for higher order pi-calculus, FoSSaCS '06, 2006.
DOI : 10.1007/11690634_5

L. Cardelli and A. D. Gordon, Mobile ambients, FoSSaCS '98, 1998.
DOI : 10.1016/s1571-0661(05)80699-1
URL : http://doi.org/10.1016/s1571-0661(05)80699-1

G. Castagna, J. Vitek, and F. Z. Nardelli, The Seal Calculus, Information and Computation, vol.201, issue.1, 2005.
DOI : 10.1016/j.ic.2004.11.005
URL : https://hal.archives-ouvertes.fr/hal-00152521

J. C. Godskesen and T. Hildebrandt, Extending Howe???s Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names, FSTTCS '05, 2005.
DOI : 10.1007/11590156_11

T. Hildebrandt, J. C. Godskesen, and M. Bundgaard, Bisimulation congruences for Homer ? a calculus of higher order mobile embedded resources, 2004.

D. J. Howe, Proving Congruence of Bisimulation in Functional Programming Languages, Information and Computation, vol.124, issue.2, 1996.
DOI : 10.1006/inco.1996.0008

I. Lanese, J. A. Pérez, D. Sangiorgi, and A. Schmitt, On the expressiveness and decidability of higher-order process calculi, 23rd Annual IEEE Symposium on Logic in Computer Science (LICS, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00494584

S. Lenglet, A. Schmitt, and J. B. Stefani, Normal bisimulations in process calculi with passivation, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00330565

M. Merro and F. Z. Nardelli, Behavioral theory for mobile ambients, Journal of the ACM, vol.52, issue.6, 2005.
DOI : 10.1145/1101821.1101825

D. Sangiorgi, Expressing Mobility in Process Algebras: First-Order and Higher- Order Paradigms, 1992.

D. Sangiorgi, Bisimulation for Higher-Order Process Calculi, Information and Computation, vol.131, issue.2, 1996.
DOI : 10.1006/inco.1996.0096
URL : https://hal.archives-ouvertes.fr/inria-00074170

D. Sangiorgi and D. Walker, The Pi-Calculus: A Theory of Mobile Processes, 2001.

A. Schmitt and J. B. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing 2004 workshop, 2004.
DOI : 10.1007/3-540-45694-5_19

B. Thomsen, Plain CHOCS A second generation calculus for higher order processes, Acta Informatica, vol.5, issue.2, 1993.
DOI : 10.1007/BF01200262