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

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

B. Aydemir, A. Charguéraud, B. C. Pierce, R. Pollack, and S. Weirich, Engineering formal metatheory, Princ. of Programming Languages, p.8, 2008.

S. Briais and U. Nestmann, Mobile objects " must " move safely. Formal Methods for Open Object-Based Distributed Systems, FMOODS'02, 2002.
DOI : 10.1007/978-0-387-35496-5_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3577

L. Cardelli, A language with distributed scope, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95
DOI : 10.1145/199448.199516

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, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, Princ. of Programming Languages, POPL'04, pp.123-134, 2004.

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

F. S. De-boer, D. Clarke, and E. B. Johnsen, A Complete Guide to the Future, Eur. Symposium on Programming, ESOP'07, pp.316-330, 2007.
DOI : 10.1007/978-3-540-71316-6_22

M. Cole, Bringing skeletons out of the closet: a pragmatic manifesto for skeletal parallel programming, Parallel Computing, vol.30, issue.3, pp.389-406, 2004.
DOI : 10.1016/j.parco.2003.12.002

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, and W. Meuter, Ambient-oriented programming in ambienttalk, ECOOP'06

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

A. D. Gordon, P. D. Hankin, and S. B. Lassen, Compilation and equivalence of imperative objects, Proceedings FST+TCS'97, 1997.

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 and F. Kammüller, A mechanized model of the theory of objects. Formal Methods for Open Object-Based Distributed Systems, LNCS 4468 Springer, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00150272

C. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, IJCAI, 1973.

A. Jeffrey, A distributed object calculus, ACM SIGPLAN Workshop on Foundations of Object Oriented Languages, p.0, 2000.

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

J. Niehren, D. Sabel, M. Schmidt-schauß, and J. Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, Electronic Notes in Theoretical Computer Science, vol.173, 2007.
DOI : 10.1016/j.entcs.2007.02.041
URL : https://hal.archives-ouvertes.fr/inria-00128861

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.

B. C. Pierce, Types and Programming Languages, 2002.

A. Ricci, M. Viroli, and M. Cimadamore, Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. Foundations of Coordination Languages and Software Architectures, FOCLASA'07, ENTCS, 2007.

A. Schmitt, Safe Dynamic Binding in the Join Calculus, Proceedings of IFIP TCS 2002
DOI : 10.1007/978-0-387-35608-2_46

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