M. Baldamus, Semantics and Logic of Higher-Order Processes: Characterizing Late Context Bisimulation, 1998.

M. Baldamus and T. Frauenstein, Congruence proofs for weak bisimulation equivalences on higher?order process calculi, 1995.

M. Bugliesi, S. Crafa, M. Merro, and V. Sassone, Communication and mobility control in boxed ambients, Information and Computation, vol.202, issue.1, 2005.
DOI : 10.1016/j.ic.2005.06.002

L. Cardelli and A. D. Gordon, Mobile ambients, FoSSaCS '98, pp.140-155, 1998.

G. Castagna and F. Z. Nardelli, The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity, FSTTCS '02, pp.85-96, 2002.
DOI : 10.1007/3-540-36206-1_9

G. Castagna, J. Vitek, and F. Z. Nardelli, The Seal Calculus, Information and Computation, vol.201, issue.1, pp.1-54, 2005.
DOI : 10.1016/j.ic.2004.11.005

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

J. Chr, T. Godskesen, and . Hildebrandt, Extending howe's method to early bisimulations for typed mobile embedded resources with local names, FSTTCS '05, pp.140-151, 2005.

A. D. Gordon, Bisimilarity as a theory of functional programming. Minicourse . Notes Series NS-95-3, 1995.

T. Hildebrandt, J. Chr, M. Godskesen, and . 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, pp.103-112, 1996.
DOI : 10.1006/inco.1996.0008

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, pp.961-1023, 2005.
DOI : 10.1145/1101821.1101825

M. Mousavi, M. J. Gabbay, and M. A. Reniers, Sos for higher order processes (extended abstract), CONCUR'05, pp.308-322, 2005.

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, pp.141-178, 1996.
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. 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, pp.1-59, 1993.
DOI : 10.1007/BF01200262

J. Vitek and G. Castagna, Seal: A framework for secure mobile computations INRIA INRIA Centre de recherche INRIA Grenoble ? Rhône-Alpes 655, ICCL'98: Workshop on Internet Programming Languages, pp.47-77, 1999.