L. Cardelli, Mobile Ambient Synchronization, Digital Systems Research, 1997.

L. Cardelli and A. D. Gordon, Mobile Ambients, Proc. of FoSSaCS'98, pp.140-155, 1998.
DOI : 10.1016/s1571-0661(05)80699-1
URL : http://doi.org/10.1016/s1571-0661(05)80699-1

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

C. Fournet, J. J. Lévy, and A. Schmitt, An Asynchronous, Distributed Implementation of Mobile Ambients, Proc. of IFIP TCS'00, pp.348-364, 2000.
DOI : 10.1007/3-540-44929-9_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8387

P. Giannini, D. Sangiorgi, and A. Valente, Safe Ambients: Abstract machine and distributed implementation, Science of Computer Programming, vol.59, issue.3, pp.209-249, 2006.
DOI : 10.1016/j.scico.2005.05.002
URL : http://doi.org/10.1016/j.scico.2005.05.002

D. Hirschkoff, D. Pous, and D. Sangiorgi, A Correct Abstract Machine for Safe Ambients, Proc. of COORDINATION 2005, pp.17-32, 2005.
DOI : 10.1145/321879.321884
URL : https://hal.archives-ouvertes.fr/hal-01441466

D. Hirschkoff, D. Pous, and D. Sangiorgi, An efficient abstract machine for Safe Ambients, The Journal of Logic and Algebraic Programming, vol.71, issue.2, pp.114-149, 2007.
DOI : 10.1016/j.jlap.2007.02.003
URL : https://hal.archives-ouvertes.fr/hal-01442746

F. Levi and D. Sangiorgi, Mobile safe ambients, ACM Transactions on Programming Languages and Systems, vol.25, issue.1, pp.1-69, 2003.
DOI : 10.1145/596980.596981

A. Phillips, N. Yoshida, and S. Eisenbach, A Distributed Abstract Machine for Boxed Ambient Calculi, Proc. of ESOP'04, pp.155-170, 2004.
DOI : 10.1007/978-3-540-24725-8_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.3798

D. Sangiorgi and A. Valente, A Distributed Abstract Machine for Safe Ambients, Automata, Languages and Programming, pp.408-420, 2001.
DOI : 10.1007/3-540-48224-5_34

A. Schmitt and J. Stefani, An Abstract Machine for the Kell Calculus, Proc. of IFIP FMOODS 2005, pp.43-58, 2005.

R. E. Tarjan, Efficiency of a Good But Not Linear Set Union Algorithm, Journal of the ACM, vol.22, issue.2, pp.215-225, 1975.
DOI : 10.1145/321879.321884