The KLAIM project: Theory and practice, GC, vol.2874, 2003. ,
An open component model and its support in Java, CBSE, vol.3054, 2004. ,
Boxed ambients, TACS, vol.2215, 2001. ,
DOI : 10.1007/3-540-45500-0_2
URL : https://hal.archives-ouvertes.fr/hal-00152525
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
The Seal calculus revisited: Contextual equivalence and bisimilarity, FSTTCS, vol.2556, 2002. ,
Object Ownership and Containment, 2001. ,
DOI : 10.1007/3-540-45337-7_4
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
M3: Mobility types for mobile processes in mobile ambients, Computing: the Australasian Theory Symposium, vol.78, 2003. ,
Global computing in a dynamic network of tuple spaces, COORD, vol.3454, 2005. ,
The reflexive chemical abstract machine and the Join-calculus, POPL, 1996. ,
SafeDpi: a language for controlling mobile code, FOSSACS, vol.2987, 2004. ,
Resource access control in systems of mobile agents, International Workshop on High-Level Concurrent Languages, vol.16, 1998. ,
The Geneva convention on the treatment of object aliasing, 1991. ,
Controlling interference in ambients, POPL, 2000. ,
Modules with interfaces for dynamic linking and communication, ECOOP, vol.3086, 2004. ,
Lexically scoped distribution: what you see is what you get, FGC, vol.85, 2003. ,
The Kell calculus: A family of higher-order distributed process calculi, GC, vol.3267, 2005. ,
A calculus of Kells, In FGC, vol.85, issue.1, 2003. ,
Nomadic Pict: Language and infrastructure design for mobile agents, Concurrency, vol.8, issue.2, 2000. ,
Assigning types to processes, LICS. IEEE, 2000. ,