J. Aldrich, C. Chambers, and D. Notkin, Architectural Reasoning in ArchJava, Proceedings 16th ECOOP, 2002.
DOI : 10.1007/3-540-47993-7_15

J. Armstrong, Making reliable distributed systems in the presence of software errors, KTH, 2003.

K. Arnold, J. Gosling, and D. Holmes, The Java Programming Language, 2005.

L. Bettini, V. Bono, R. De-nicola, G. Ferrari, D. Gorla et al., The Klaim Project: Theory and Practice, Global Computing, number 2874 in LNCS, 2003.
DOI : 10.1007/978-3-540-40042-4_4

P. Bidinger, A. Schmitt, and J. Stefani, An Abstract Machine for the Kell Calculus, Formal Methods for Open Object-Based Distributed Systems (FMOODS), 7th IFIP WG 6.1 International Conference, 2005.
DOI : 10.1007/3-540-47959-7_3

G. Boudol, ULM: A Core Programming Model for Global Computing, 13th ESOP, 2004.
DOI : 10.1007/978-3-540-24725-8_17

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. B. Stefani, The Fractal Component Model and its Support in Java. Software - Practice and Experience, pp.11-12, 2006.

G. Castagna, J. Vitek, and F. Z. Nardelli, The seal calculus. Information and Computation, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00152521

R. Collet and P. Van-roy, Failure Handling in a Network-Transparent Distributed Programming Language, Recent Advances in Exception Handling Techniques, 2006.
DOI : 10.1007/11818502_7

M. Fahndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. Hunt et al., Language Support for Fast and Reliable Message-based Communication in Singularity OS, 1st EuroSys Conference, 2006.

C. Fournet, F. Le-fessant, L. Maranget, and A. Schmitt, JoCaml: A Language for Concurrent Distributed and Mobile Programming, Summer Schol Adv. Functional Programming, 2003.
DOI : 10.1007/978-3-540-44833-4_5

S. Haridi, P. Van-roy, P. Brand, M. Mehl, R. Scheidhauer et al., Efficient logic variables for distributed computing, ACM Transactions on Programming Languages and Systems, vol.21, issue.3, 1999.
DOI : 10.1145/319301.319347

M. Hennessy, J. Rathke, and N. Yoshida, SafeDpi: a language for controlling mobile code, Acta Informatica, vol.42, pp.4-5, 2005.

D. Hirschkoff, T. Hirschowitz, D. Pous, A. Schmitt, and J. B. Stefani, Component-Oriented Programming with Sharing: Containment is Not Ownership, 4th GPCE, 2005.
DOI : 10.1007/11561347_26
URL : https://hal.archives-ouvertes.fr/hal-00310126

Y. Jaradin, F. Spiessens, and P. Van-roy, Capability Confinement by Membranes, Dep. of Comp. Science and Eng, 2005.

E. Lee, The Problem with Threads, Computer, vol.39, issue.5, 2006.
DOI : 10.1109/MC.2006.180

M. Lienhardt, A. Schmitt, and J. Stefani, Oz/K, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, 2007.
DOI : 10.1145/1289971.1289980
URL : https://hal.archives-ouvertes.fr/inria-00149612

Y. D. Liu and S. Smith, Interaction-Based Programming with Classages, Proceedings OOPSLA, 2005.

M. Miller, Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, 2006.

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML (Revised), 1997.

A. Rossberg, The Missing Link ? Dynamic Components for ML, Int. Conf. Functional Programming (ICFP), 2006.

P. Van-roy, S. Haridi, P. Brand, G. Smolka, M. Mehl et al., Mobile objects in distributed oz The M-calculus: A Higher-Order Distributed Process Calculus, Proceedings 30th Annual ACM Symposium on Principles of Programming Languages (POPL), 1997.

A. Schmitt and J. B. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, 2005.
DOI : 10.1007/3-540-45694-5_19

P. Sewell, J. Leifer, K. Wansbrough, M. Allen-willians, F. Zappa-nardelli et al., Acute: High-level programming language design for distributed computation ? Design rationale and language definition, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00070671

P. Sewell, J. Leifer, K. Wansbrough, F. Zappa-nardelli, M. Allen-willians et al., Acute: High-level programming language design for distributed computation, Int. Conf. Functional Programming, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070671

P. Sewell, J. Leifer, K. Wansbrough, F. Zappa-nardelli, M. Allen-willians et al., Acute: High-level programming language design for distributed computation, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00070671

P. Sewell and J. Vitek, Secure composition of untrusted code: box ??, wrappers, and causality types, Journal of Computer Security, vol.11, issue.2, 2003.
DOI : 10.3233/JCS-2003-11202

F. Spiessens and P. Van-roy, The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language, 2nd Int. Conf. Multiparadigm Programming in Mozart/Oz, 2005.
DOI : 10.1007/978-3-540-31845-3_3

G. Stoyle, M. W. Hicks, G. M. Bierman, P. Sewell, and I. Neamtiu, Mutatis mutandis: safe and predictable dynamic software updating, 32nd POPL, 2005.

P. Van-roy and S. Haridi, Concepts, Techniques and Models of Computer Programming, 2004.

P. Wojciechowski and P. Sewell, Nomadic Pict: Language and Infrastructure, IEEE Concurrency, vol.8, issue.2, 2000.
DOI : 10.1109/4434.846193
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2511