L. Bettini, V. Bono, R. De-nicola, G. Ferrari, D. Gorla et al., The KLAIM project: Theory and practice, GC, vol.2874, 2003.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An open component model and its support in Java, CBSE, vol.3054, 2004.

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

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

L. Cardelli and A. D. Gordon, Mobile ambients, FOSSACS, vol.1378, 1998.
DOI : 10.1016/s1571-0661(05)80699-1

URL : https://doi.org/10.1016/s1571-0661(05)80699-1

G. Castagna and F. Z. Nardelli, The Seal calculus revisited: Contextual equivalence and bisimilarity, FSTTCS, vol.2556, 2002.

D. Clarke, Object Ownership and Containment, 2001.
DOI : 10.1007/3-540-45337-7_4

D. Clarke and T. Wrigstad, External uniqueness is unique enough, ECOOP, vol.2743, 2003.
DOI : 10.1007/978-3-540-45070-2_9

URL : https://dspace.library.uu.nl/bitstream/1874/23922/1/clarke_02_externaluniqueness.pdf

M. Coppo, M. Dezani-ciancaglini, E. Giovannetti, and I. Salvo, M3: Mobility types for mobile processes in mobile ambients, Computing: the Australasian Theory Symposium, vol.78, 2003.

R. De-nicola, D. Gorla, and R. Pugliese, Global computing in a dynamic network of tuple spaces, COORD, vol.3454, 2005.

C. Fournet and G. Gonthier, The reflexive chemical abstract machine and the Join-calculus, POPL, 1996.

M. Hennessy, J. Rathke, and N. Yoshida, SafeDpi: a language for controlling mobile code, FOSSACS, vol.2987, 2004.

M. Hennessy and J. Riely, Resource access control in systems of mobile agents, International Workshop on High-Level Concurrent Languages, vol.16, 1998.

J. Hogg, D. Lea, A. Wills, D. Dechampeaux, and R. Holt, The Geneva convention on the treatment of object aliasing, 1991.

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

Y. D. Liu and S. F. Smith, Modules with interfaces for dynamic linking and communication, ECOOP, vol.3086, 2004.

A. Ravara, A. Matos, V. Vasconcelos, and L. Lopes, Lexically scoped distribution: what you see is what you get, FGC, vol.85, 2003.

A. Schmitt and J. Stefani, The Kell calculus: A family of higher-order distributed process calculi, GC, vol.3267, 2005.

J. Stefani, A calculus of Kells, In FGC, vol.85, issue.1, 2003.

P. T. Wojciechowski and P. Sewell, Nomadic Pict: Language and infrastructure design for mobile agents, Concurrency, vol.8, issue.2, 2000.

N. Yoshida and M. Hennessy, Assigning types to processes, LICS. IEEE, 2000.