. Object-management-group and . Inc, CORBA Component Model Specification Omg headquarters edn, 2006.

M. Beisiegel, H. Blohm, D. Booz, M. Edwards, and O. Hurley, SCA service component architecture, assembly model specification, 2007.

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, 2008.
DOI : 10.1007/s12243-008-0068-8

URL : https://hal.archives-ouvertes.fr/inria-00323919

E. Bruneton, T. Coupaye, and J. B. Stefani, Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, 2002.

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.

G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

A. Yonezawa, J. P. Briot, and E. Shibayama, Object-oriented concurrent programming in ABCL/1, Proceedings OOPSLA'86, pp.258-268, 1986.
URL : https://hal.archives-ouvertes.fr/hal-01221585

J. Halstead and R. H. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, vol.364, issue.3, pp.338-356, 2006.
DOI : 10.1016/j.tcs.2006.08.016

URL : https://hal.archives-ouvertes.fr/inria-00090434

. Team, CORBA Component Model, V3.0. http://www.omg.org/ technology, 2005.

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp.123-134, 2004.
DOI : 10.1145/964001.964012

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.9095

M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

E. B. Johnsen and O. Owe, An asynchronous communication model for distributed concurrent objects, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.188-197, 2004.
DOI : 10.1109/SEFM.2004.1347520

E. B. Johnsen, O. Owe, and I. C. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.1-2, 2006.
DOI : 10.1016/j.tcs.2006.07.031

I. Grabe, M. Steffen, and A. B. Torjusen, Executable Interface Specifications for Testing Asynchronous Creol Components, 2008.
DOI : 10.1007/978-3-642-11623-0_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.2562

J. Meseguer, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, vol.96, issue.1, pp.73-155, 1992.
DOI : 10.1016/0304-3975(92)90182-F

C. B. Jones, Development Methods for Computer Programs Including a Notion of Interference, 1981.

M. Broy, F. Dederich, C. Dendorfer, M. Fuchs, T. Gritzner et al., The design of distributed systems -an introduction to focus, 1992.

J. He, X. Li, and Z. Liu, rcos: A refinement calculus for object systems, Theoretical Computer Science, vol.365, pp.1-2, 2006.

X. Chen, J. He, Z. Liu, and N. Zhan, A Model of Component-Based Programming, Lecture Notes in Computer Science, vol.4767, pp.191-206, 2007.
DOI : 10.1007/978-3-540-75698-9_13

D. Caromel, C. Delbé, A. Di-costanzo, and M. Leyton, ProActive: an integrated platform for programming and running applications on Grids and P2P systems, Computational Methods in Science and Technology, vol.12, issue.1, pp.69-77, 2006.
DOI : 10.12921/cmst.2006.12.01.69-77

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

A. Schmitt and J. B. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Lecture Notes in Computer Science, vol.3267, pp.146-178, 2005.
DOI : 10.1007/3-540-45694-5_19

D. Hirschkoff, T. Hirschowitz, D. Pous, A. Schmitt, and J. B. Stefani, Component-Oriented Programming with Sharing: Containment is Not Ownership, Lecture Notes in Computer Science, vol.3676, pp.389-404, 2005.
DOI : 10.1007/11561347_26

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

P. Merle and J. B. Stefani, A formal specification of the Fractal component model in Alloy, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

F. S. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, Lecture Notes in Computer Science, vol.4421, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

L. Henrio and M. Rivera, Stopping safely hierarchical distributed components, Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, CBHPC '08, pp.1-11, 2008.
DOI : 10.1145/1456190.1456201