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.

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, ESOP, pp.316-330, 2007.

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-oriented programming in ambienttalk, pp.230-254, 2006.

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

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

L. Henrio, F. Kammüller, and M. Khan, A Framework for Reasoning on Component Composition, 2009.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

L. Henrio and M. Khan, Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL, Proceedings of the Seventh International Workshop, 2010.
DOI : 10.1016/j.entcs.2010.07.004
URL : https://hal.archives-ouvertes.fr/inria-00462325

E. Broch, J. , and O. Owe, An asynchronous communication model for distributed concurrent objects, SEFM '04: Proceedings of the Software Engineering and Formal Methods, 2004.

O. Einar-broch-johnsen, I. C. Owe, and . Yu, Creol: a type-safe objectoriented model for distributed concurrent systems, Theor. Comput. Sci, vol.365, 2006.

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, vol.364, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00090434

N. Ranaldo and E. Zimeo, Analysis of Different Future Objects Update Strategies in ProActive, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.23-66, 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, DIMACS '94, 1994.

G. Tretola and E. Zimeo, Extending semantics of web services to support asynchronous invocation and continuation, Proceedings of the IEEE International Conference on Web Services (ICWS), pp.208-215, 2007.

G. Tretola and E. Zimeo, Activity pre-scheduling for run-time optimisation of grid workflows, Journal of Systems Architecture, vol.54, issue.9, 2008.

A. Welc, S. Jagannathan, and A. Hosking, Safe futures for Java, ACM SIGPLAN Notices, vol.40, issue.10, pp.439-453, 2005.
DOI : 10.1145/1103845.1094845

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