G. Agha and C. Hewitt, Actors: A conceptual foundation for concurrent objectoriented programming, Research Directions in Object-Oriented Programming, pp.49-74, 1987.

J. Armstrong, Programming Erlang: Software for a Concurrent World, 2007.

L. Baduel, Computing: Software Environments and Tools, chapter Programming , Composing, Deploying, for the Grid, 2006.

B. Beckert, R. Hähnle, and P. H. Schmitt, Verification of Object-oriented Software: The KeY Approach, 2007.
DOI : 10.1007/978-3-540-69061-0

K. Chen, P. Hudak, and M. Odersky, Parametric type classes, Proc. of LFP'92, pp.170-181, 1992.
DOI : 10.1145/141471.141536

F. Cristian, Understanding fault-tolerant distributed systems, Communications of the ACM, vol.34, issue.2, pp.56-78, 1991.
DOI : 10.1145/102792.102801

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

C. C. Din, J. Dovland, E. B. Johnsen, and O. Owe, Observable behavior of distributed systems: Component reasoning for concurrent objects, The Journal of Logic and Algebraic Programming, vol.81, issue.3, pp.227-256, 2012.
DOI : 10.1016/j.jlap.2012.01.003

E. N. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, pp.375-408, 2002.
DOI : 10.1145/568522.568525

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

G. Göri, E. B. Johnsen, R. Schlatte, and V. Stolz, Erlang-style error recovery for concurrent objects with cooperative scheduling, 2014.

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 : http://doi.org/10.1016/j.tcs.2008.09.019

R. H. Halstead-jr, 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

B. Jay, Algebraic Data Types, Pattern Calculus, pp.149-160, 2009.
DOI : 10.1007/978-3-540-89185-7_14

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO 2010, pp.142-164, 2011.
DOI : 10.2498/cit.2002.01.01

E. B. Johnsen, I. Lanese, and G. Zavattaro, Fault in the future, In COORDINA- TION LNCS, vol.6721, pp.1-15, 2011.

J. Kramer, Is abstraction the key to computing?, Communications of the ACM, vol.50, issue.4, pp.36-42, 2007.
DOI : 10.1145/1232743.1232745

I. Lanese, C. A. Mezzina, A. Schmitt, and J. Stefani, Controlling Reversibility in Higher-Order Pi, In CONCUR LNCS, vol.6901, pp.297-311, 2011.
DOI : 10.1007/11539452_31

R. G. Lavender and D. C. Schmidt, Active object: an object behavioral pattern for concurrent programming, Pattern languages of program design 2, pp.483-499, 1996.

B. H. Liskov and L. Shrira, Promises: Linguistic support for efficient asynchronous procedure calls in distributed systems, PLDI, pp.260-267, 1988.

A. Löh and R. Hinze, Open data types and open functions, Proc. of PPDP'06 Morris. CActive and Friends. Symbian Developer Network, pp.133-144, 2006.

P. Nienaltowski, Practical framework for contract-based concurrent object-oriented programming, 2007.

E. Pitt, K. Mcniff, and . Java, Rmi: The Remote Method Invocation Guide, 2001.

J. Ponge, Better resource management with Java SE 7: Beyond syntactic sugar, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00611453

D. Rémy, Type checking records and variants in a natural extension of ML, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.77-88, 1989.
DOI : 10.1145/75277.75284

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, LNCS, vol.6183, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

J. Waldo, G. Wyant, A. Wollrath, and S. C. Kendall, A note on distributed computing, MOS'96), pp.49-64, 1997.
DOI : 10.1007/3-540-62852-5_6

A. Yonezawa, ABCL: An Object-Oriented Concurrent System, 1990.