P. Bidinger and J. Stefani, The Kell Calculus: Operational Semantics and Type System, Proc. of FMOODS 2003, vol.2884, pp.109-123, 2003.

M. Bugliesi, G. Castagna, and S. Crafa, Boxed ambients, Proc. TACS 2001, vol.2215, pp.38-63, 2001.
DOI : 10.1007/3-540-45500-0_2

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

L. Cardelli and . Ambit, , 1997.

L. Cardelli, Mobile ambient synchronisation, Digital SRC, 1997.

L. Cardelli and A. Gordon, Mobile Ambients, Proc. of FOSSACS'98, vol.1378, pp.140-155, 1998.

F. L. Fessant, I. Piumarta, and M. Shapiro, An Implementation for Complete, Asynchronous, Distributed Garbage Collection, Proc. of PLDI'98, pp.152-161, 1998.

C. Fournet, The Join-Calculus: a Calculus for Distributed Mobile Programming, 1998.

C. Fournet, F. L. Fessant, L. Maranget, and A. Schmitt, JoCaml: A Language for Concurrent Distributed and Mobile Programming, Proc. of Advanced Functional Programming, vol.2638, pp.129-158, 2002.

C. Fournet, J. Lévy, and A. Schmitt, An asynchronous, distributed implementation of mobile ambients, Proc. of IFIP TCS'00, vol.1872, pp.348-364, 2000.

P. Gardner, C. Laneve, and L. Wischik, Linear Forwarders, Proc. of CONCUR'03, vol.2761, pp.408-422, 2003.

P. Giannini, D. Sangiorgi, and A. Valente, Safe Ambients: abstract machine and distributed implementation, 2004. submitted; an extended abstract appeared in, Proc. ICALP'01, vol.2076, pp.408-420

F. and L. Fessant, JoCaml: conception et implémentation d'un langagè a agents mobiles, 2001.

F. Levi and D. Sangiorgi, Controlling interference in ambients, Proc. 27th POPL, 2000.

F. Levi and D. Sangiorgi, Mobile Safe Ambients, Transactions on Programming Languages and Systems, vol.25, issue.1, pp.1-69, 2003.

M. Merro and M. Hennessy, Bisimulation congruences in safe ambients (extended abstract), Proc. of POPL '02, pp.71-80, 2002.

R. De-nicola, G. L. Ferrari, and R. Pugliese, KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE Trans. Software Eng, vol.24, issue.5, pp.315-330, 1998.

A. Phillips, N. Yoshida, and S. Eisenbach, A Distributed Abstract Machine for Boxed Ambient Calculi, Proc. of ESOP'04, pp.155-170, 2004.

I. Phillips and M. G. Vigliotti, On Reduction Semantics for the Push and Pull Ambient Calculus, Proc. of IFIP TCS'02, pp.550-562, 2002.

C. Inria, The OCaml programming language

D. Sangiorgi and A. Valente, A distributed abstract machine for Safe Ambients, Proc. ICALP'01, vol.2076, 2001.

R. E. Tarjan, Efficiency of a good but not linear set union algorithm, Journal of ACM, vol.22, issue.2, pp.215-225, 1975.

D. Teller, P. Zimmer, and D. Hirschkoff, Using Ambients to Control Resources, Proc. of CON-CUR'02, vol.2421, pp.288-303, 2002.
URL : https://hal.archives-ouvertes.fr/hal-02101869

A. Unyapoth and P. Sewell, Nomadic pict: correct communication infrastructure for mobile computation, Proc. of 28th POPL, pp.116-127, 2001.