M. Abadi and L. Cardelli, A theory of objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

R. Amadio, An asynchronous model of locality, failure, and process mobility, 1997.
DOI : 10.1007/3-540-63383-9_92
URL : https://hal.archives-ouvertes.fr/inria-00073581

G. Berry and G. Boudol, The chemical abstract machine, The -calculus in direct style. Higher-Order and Symbolic Computation, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075426

M. Bugliesi, G. Castagna, and S. Crafa, Boxed Ambients, 4th International Symposium on Theoretical Aspects of Computer Software (TACS), 2001.
DOI : 10.1007/3-540-45500-0_2
URL : https://hal.archives-ouvertes.fr/hal-00152525

L. Cardelli, Types for mobile ambients, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, 1999.
DOI : 10.1145/292540.292550

L. Cardelli and A. Gordon, Mobile ambients, Foundations of Software Science and Computational Structures, 1998.

I. Castellani, Process Algebras with Localities, Handbook of Process Algebra, 2001.
DOI : 10.1016/B978-044482830-9/50033-3

C. Fournet, The Join-Calculus, Ecole Polytechnique, 1998.

C. Fournet and G. Gonthier, The reflexive chemical abstract machine and the join-calculus, In proceedings 23rd ACM Symposium on Principles of Programming Languages (POPL), 1996.

C. Fournet, G. Gonthier, J. J. Levy, L. Maranget, and D. Remy, A calculus of mobile agents, Proceedings 7th International Conference on Concurrency Theory (CONCUR '96), Lecture Notes in Computer Science 1119, 1996.
DOI : 10.1007/3-540-61604-7_67

C. Fournet, J. J. Levy, and A. Schmitt, An Asynchronous, Distributed Implementation of Mobile Ambients, Proceedings of the International IFIP Conference TCS 2000, 1872.
DOI : 10.1007/3-540-44929-9_26

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, 2000.
DOI : 10.1145/1925805.1925814

A. Gordon and P. Hankin, A Concurrent Object Calculus, 3rd International Workshop on High-Level Concurrent Languages, 1998.
DOI : 10.1016/S1571-0661(04)00145-8

L. Leth and B. Thomsen, Some facile chemistry, Formal Aspects of Computing, vol.7, issue.E, 1995.
DOI : 10.1007/BF01211076

F. Levi and D. Sangiorgi, Controlling interference in ambients, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, 2000.
DOI : 10.1145/325694.325741

L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos, DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi, Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.

M. Lumpe, F. Achermann, and O. Nierstrasz, A Formal Language for Composition, chapter 4, 2000.

M. Merro and M. Hennessy, Bisimulation congruences in safe ambients, 29th ACM Symposium on Principles of Programming Languages (POPL), pp.16-18, 2002.

R. Milner, Calculi for interaction, Acta Informatica, vol.33, issue.8, 1996.

R. Milner, Communicating and mobile systems : the -calculus, 1999.

D. Sangiorgi and A. Valente, A Distributed Abstract Machine for Safe Ambients, Proceedings of the 28th International Colloquium on Automata, Languages and Programming, volume 2076 of Lect. Notes in Comp. Sci, 2001.
DOI : 10.1007/3-540-48224-5_34

D. Sangiorgi and S. Walker, The -calculus: A Theory of Mobile Processes, 2001.

A. Schmitt and J. B. Stefani, The M-calculus: A Higher-Order Distributed Process Calculus, Proceedings 30th Annual ACM Symposium on Principles of Programming Languages, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00072227

D. Teller, P. Zimmer, and D. Hirschkoff, Using Ambients to Control Resources, to appear in Proceedings CONCUR 02, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00020253

B. Thomsen, A Theory of Higher Order Communicating Systems, Information and Computation, vol.116, issue.1, 1995.
DOI : 10.1006/inco.1995.1004

J. Vitek and G. Castagna, Towards a calculus of secure mobile computations, Proceedings Workshop on Internet Programming Languages, 1998.

P. Wojciechowski and P. Sewell, Nomadic Pict: Language and Infrastructure, IEEE Concurrency, vol.8, issue.2, 2000.
DOI : 10.1109/asama.1999.805388
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2511

N. Yoshida and M. Hennessy, Subtyping and Locality in Distributed Higher Order Processes, Proceedings CONCUR 99, 1999.
DOI : 10.1007/3-540-48320-9_38

S. and D. Zilio, Le calcul bleu : types et objets, 1999.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399