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, 2009.
DOI : 10.1007/s12243-008-0068-8
URL : https://hal.archives-ouvertes.fr/inria-00323919

F. S. Boer, D. Clarke, and E. B. Johnsen, A complete guide to the future, Proc. 16th European Symposium on Programming (ESOP'07), pp.316-330, 2007.

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

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

J. Dedecker, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, Ambient-oriented programming in ambienttalk, Proceedings of 20th European Conference on Object-oriented Programming, 2006.

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

L. Henrio and F. Kammüller, Functional Active Objects: Typing and Formalisation, Proceedings of the International Workshop on the Foundations of Coordination Languages and Software Architecture (FOCLASA), 2009.
DOI : 10.1016/j.entcs.2009.10.026
URL : https://hal.archives-ouvertes.fr/hal-00485759

L. Henrio, F. Kammüller, and M. Rivera, An Asynchronous Distributed Component Model and Its Semantics, p.2008, 2009.
DOI : 10.1145/1456190.1456201
URL : https://hal.archives-ouvertes.fr/inria-00435145

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.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

M. U. Khan and L. Henrio, First class futures: a study of update strategies, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00435573

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

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

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

N. Ranaldo and E. Zimeo, Analysis of Different Future Objects Update Strategies in ProActive, 2007 IEEE International Parallel and Distributed Processing Symposium, 2007.
DOI : 10.1109/IPDPS.2007.370418

K. Taura, S. Matsuoka, and A. Yonezawa, Abcl/f: A future-based polymorphic typed concurrent object-oriented language -its design and implementation, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, pp.275-292, 1994.

A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, Modelling and programming in an object-oriented concurrent language ABCL, Object-Oriented Concurrent Programming, 1987.