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, ? Theroretical Computer Science, vol.96, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075426

G. Boudol, Notes on algebraic calculi of processes " ? in Logics and Models of Concurrent Systems, NATO ASI Series, 1985.

G. Boudol, The ??-calculus in direct style, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1998.
DOI : 10.1145/263699.263726

G. Boudol, A. Schmitt, and J. B. Stefani, Marvel programming model v1 " ? Deliverable D2, Marvel RNRT Project, vol.1, 2001.

L. Cardelli and A. Gordon, Mobile Ambients " ? Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol.1378, 1998.

L. Cardelli, Wide Area Computation, Proc. Automata, Languageseand Programming, 26th International Colloquium, 1999.
DOI : 10.1007/3-540-48523-6_2

I. Castellani, Process Algebras with Localities " ? in Handbook of Process Algebra, 2001.

D. Nicola, G. L. Ferrari, and R. Pugliese, Programming Access Control: The Klaim Experience, ? in Proceedings CONCUR Lecture Notes in Computer Science, vol.1877, 2000.
DOI : 10.1007/3-540-44618-4_5

C. Fournet and G. Gonthier, The reflexive chemical abstract machine and the join-calculus, 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 CONCUR '96, 1996.
DOI : 10.1007/3-540-61604-7_67

C. Fournet, C. Laneve, L. Maranget, and D. Rémy, Implicit typing ?? la ML for the join-calculus, Proc. 8th International Conference on Concurrency Theory (CONCUR '97), 1997.
DOI : 10.1007/3-540-63141-0_14

C. Fournet, The Join-Calculus, 1998.

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

N. Francez and I. Forman, Interacting Processes : A multiparty approach to coordinated distributed programming, 1996.

M. Hennessy and J. Riely, Resource access control in systems of mobile agents

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

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

M. Object and . Group, The Common Object request Broker: Architecture and Specification " ? Revision 2.4.2, Object Management Group, 2001.

M. Object and . Group, CORBA Components " ? OMG document orbos, pp.99-101, 1999.

A. Schmitt and J. B. Stefani, The Marvel programming model: a higher-order distributed process calculus, 2001.

P. Sewell, P. Wojciechowski, and B. Pierce, Location-Independent Communication for Mobile Agents: A Two-Level Architecture, 1998.
DOI : 10.1007/3-540-47959-7_1

J. B. Stefani, F. Germain, and E. Najm, Elements of an Object-Based Model for Distributed and Mobile Computation, Proceedings 4th International Conference on Formal Methods for Open Objectbased Distributed Systems, 2000.
DOI : 10.1145/62083.62111

S. Microsystems, Enterprise Java Beans " ? Specification v1, 1998.

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

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

S. Dal-zilio, Mobile Processes: a commented bibliography " ? URL : http://research.microsoft.com/ sdal/movep.htm INRIA Unité de recherche INRIA Rhône-Alpes 655, avenue de l'Europe -38330 Montbonnot-St

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