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

M. Baldi and G. P. Picco, Evaluating the tradeoffs of mobile code design paradigms in network management applications, Proceedings of the 20th International Conference on Software Engineering, 1998.
DOI : 10.1109/ICSE.1998.671111

F. Bonchi, F. Gadducci, and G. V. Monreale, Reactive Systems, Barbed Semantics, and the Mobile Ambients, FOSSACS '09, pp.272-287, 2009.
DOI : 10.1007/978-3-540-71389-0_22

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

Z. Cao, More on bisimulations for higher order pi-calculus, FoSSaCS '06, pp.63-78, 2006.

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, 1995.
DOI : 10.1145/199448.199516

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

A. Carzaniga, G. P. Picco, and G. Vigna, Designing distributed applications with mobile code paradigms, Proceedings of the 19th international conference on Software engineering , ICSE '97, 1997.
DOI : 10.1145/253228.253236

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

M. P. Fiore and S. Staton, A congruence rule format for name-passing process calculi, Information and Computation, vol.207, issue.2, pp.209-236, 2009.
DOI : 10.1016/j.ic.2007.12.005

C. Fournet, F. Le-fessant, L. Maranget, and A. Schmitt, JoCaml: A Language for Concurrent Distributed and Mobile Programming, Summer Schol Adv. Functional Programming, 2003.
DOI : 10.1007/978-3-540-44833-4_5

A. Fuggetta, G. P. Picco, and G. Vigna, Understanding code mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, 1998.
DOI : 10.1109/32.685258

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

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

M. Hennessy, J. Rathke, and N. Yoshida, Safedpi: a language for controlling mobile code, Acta Inf, vol.42, pp.4-5, 2005.

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, pp.103-112, 1996.
DOI : 10.1006/inco.1996.0008

A. Jeffrey and J. Rathke, A theory of bisimulation for a fragment of Concurrent ML with local names, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), pp.1-48, 2004.
DOI : 10.1109/LICS.2000.855780

A. Jeffrey and J. Rathke, Contextual equivalence for higher-order picalculus revisited, Logical Methods in Computer Science, vol.1, issue.1, 2005.

I. Lanese, J. A. Pérez, D. Sangiorgi, and A. Schmitt, On the expressiveness and decidability of higher-order process calculi, LICS, pp.145-155, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00494584

S. Lenglet, Bisimulations dans les calculs avec passivation, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00447857

S. Lenglet, A. Schmitt, and J. Stefani, Howe's method for early bisimilarities, 2008.

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

S. Lenglet, A. Schmitt, and J. Stefani, Howe???s Method for Calculi with Passivation, CONCUR '09, pp.448-462
DOI : 10.1007/BF01200262

S. Lenglet, A. Schmitt, and J. Stefani, Normal bisimulations in process calculi with passivation, FoSSaCS '09, pp.257-271, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00330565

J. Levy, Some results in the join-calculus, Lecture Notes in Computer Science, vol.1281, p.233, 1997.
DOI : 10.1007/BFb0014554

Y. Li and X. Liu, Towards a theory of bisimulation for the higher-order process calculi, Journal of Computer Science and Technology, vol.131, issue.2, pp.352-363, 2004.
DOI : 10.1007/BF02944905

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

R. Milner, Communicating and Mobile Systems : the ?-calculus, 1999.

R. Milner and D. Sangiorgi, Techniques of weak bisimulation up-to, CONCUR '92, 1992.

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

A. Piérard and E. Sumii, Sound Bisimulations for Higher-Order Distributed Process Calculus, Lecture Notes in Computer Science, vol.6604, issue.11, pp.123-137, 2011.
DOI : 10.1007/978-3-642-19805-2_9

J. Rathke and P. Sobocinski, Deconstructing behavioural theories of mobility, IFIP TCS '08, pp.507-520, 2008.
DOI : 10.1007/978-0-387-09680-3_34

J. Rathke and P. Sobocinski, Deriving structural labelled transitions for mobile ambients, CONCUR '08, pp.462-476, 2008.

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, N. Kobayashi, and E. Sumii, Environmental bisimulations for higher-order languages, LICS '07, pp.293-302, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01337665

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

A. Schmitt and J. Stefani, The M-calculus: A higher-order distributed process calculus, POPL'03, pp.50-61, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00072227

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

P. Sewell, J. Leifer, K. Wansbrough, F. Zappa-nardelli, M. Allen-willians et al., Acute: High-level programming language design for distributed computation, Journal of Functional Programming, vol.17, pp.4-5, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070671

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