CORBA Component Model Specification Omg headquarters edn, 2006. ,
SCA service component architecture, assembly model specification, 2007. ,
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
Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, 2002. ,
A Theory of Distributed Objects, 2005. ,
A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997. ,
DOI : 10.1017/S095679689700261X
Object-oriented concurrent programming in ABCL/1, Proceedings OOPSLA'86, pp.258-268, 1986. ,
URL : https://hal.archives-ouvertes.fr/hal-01221585
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
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
CORBA Component Model, V3.0. http://www.omg.org/ technology, 2005. ,
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
A Theory of Objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
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
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
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
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
Development Methods for Computer Programs Including a Notion of Interference, 1981. ,
The design of distributed systems -an introduction to focus, 1992. ,
rcos: A refinement calculus for object systems, Theoretical Computer Science, vol.365, pp.1-2, 2006. ,
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
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
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
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
A formal specification of the Fractal component model in Alloy, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00338987
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
Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002. ,
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