G. Agha, Actors: a model of concurrent computation in distributed systems, 1986.

I. Attali, D. Caromel, and S. Ehmety, Formal Properties of the Eiffel, Object-Oriented Parallel and Distributed Computing, 2000.

L. Baduel, F. Baude, and D. Caromel, Object-oriented SPMD, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.824-831, 2005.
DOI : 10.1109/CCGRID.2005.1558647

. G. Henry, C. Baker-jr, and . Hewitt, The incremental garbage collection of processes, Proc. Symp. on Artificial Intelligence and Programming Languages, pp.55-59, 1977.

V. Frank-de-boer, R. Serbanescu, L. Hähnle, J. Henrio, C. Rochas et al., A survey of active object languages, ACM Comput. Surv, vol.5076, issue.2, pp.1-76, 2017.

S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-reyes, E. Broch-johnsen et al., Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore, Formal Methods for Multicore Programming, pp.1-56, 2015.
DOI : 10.1145/960112.28722

D. Caromel and L. Henrio, A Theory of Distributed Objects, p.15, 2004.

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

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, Proc. 16th European Symposium on Programming, pp.316-330, 2007.

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

K. Fernandez-reyes, D. Clarke, and D. S. Mccain, ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations, Coordination Models and Languages -18th IFIP WG 6.1 International Conference Proceedings, pp.101-120, 2016.
DOI : 10.1006/inco.1994.1093
URL : https://hal.archives-ouvertes.fr/hal-01631723

C. Flanagan and M. Felleisen, The semantics of future and its use in program optimization, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.209-220, 1995.
DOI : 10.1145/199448.199484

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

E. Giachino, L. Henrio, C. Laneve, and V. Mastandrea, Actors may synchronize, safely! URL: https, PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming, p.24, 2016.
DOI : 10.1145/2967973.2968599

B. Goetz, T. Peierls, J. Bloch, J. Bowbeer, D. Holmes et al., Java Concurrency in Practice, 2006.

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019
URL : https://doi.org/10.1016/j.tcs.2008.09.019

R. H. Halstead and J. , 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, M. U. Khan, N. Ranaldo, E. Z. , M. R. Guarracino et al., First Class Futures: Specification and Implementation of Update Strategies, Selected Papers Coregrid Workshop On Grids, Clouds and P2P Computing, pp.295-303, 2005.
DOI : 10.1145/1103845.1094845
URL : https://hal.archives-ouvertes.fr/inria-00544594

L. Henrio and J. Rochas, Multiactive objects and their applications, Logical Methods in Computer Science, vol.13, issue.27, pp.26-28, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01669338

R. Einar-broch-johnsen, R. Hähnle-schäfer, M. Schlatte, and . Steffen, ABS: A core language for abstract behavioral specification, Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO), pp.142-164, 2011.

E. Broch, J. , and O. Owe, An asynchronous communication model for distributed concurrent objects, pp.35-58, 2005.

O. Einar-broch-johnsen, M. Owe, and . Arnestad, Combining active and reactive behavior in concurrent objects, Proc. of the Norwegian Informatics Conference (NIK'03), pp.193-204, 2003.

M. S. Miller, E. D. Tribble, and J. Shapiro, Concurrency Among Strangers, Trustworthy Global Computing, pp.195-229, 2005.
DOI : 10.1007/11580850_12

J. Niehren, D. Sabel, M. Schmidt-schauß, and J. Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, 23rd Conference on Mathematical Foundations of Programming Semantics, 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, 2004.
DOI : 10.1016/j.tcs.2006.08.016
URL : https://hal.archives-ouvertes.fr/inria-00090434

J. Schafer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP 2010?Object-Oriented Programming, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

M. Sirjani, F. S. De-boer, and A. Movaghar-rahimabadi, Modular verification of a component-based actor language, Journal of Universal Computer Science, vol.11, issue.10 11, pp.1695-1717, 2005.

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.
DOI : 10.1090/dimacs/018/18
URL : http://www.logos.t.u-tokyo.ac.jp/~tau/papers/dimacs-abclf-letter.ps

E. Ábrahám, I. Grabe, A. Grüner, and M. Steffen, Behavioral interface description of an object-oriented language with futures and promises. The Journal of Logic and Algebraic Programming The 19th Nordic Workshop on Programming Theory, pp.491-518, 2007.