G. Agha and C. Hewitt, Concurrent programming using actors, Foundations of Software Technology and Theoretical Computer Science, 1985.

E. Albert, P. Arenas, A. Flores-montoya, S. Genaim, M. Gómez-zamalloa et al., SACO: Static Analyzer for Concurrent Objects, TACAS'14, 2014.
DOI : 10.1007/978-3-642-54862-8_46

N. Bezirgiannis and F. Boer, SOFSEM 2016, chapter ABS: A High-Level Modeling Language for Cloud-Aware Programming, 2016.

F. S. Boer, D. Clarke, and E. B. Johnsen, A complete guide to the future, ESOP'07, 2007.

S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-reyes, E. Johnsen et al., Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore, Formal Methods for Multicore Programming, 2015.
DOI : 10.1007/978-3-319-18941-3_1

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

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

C. Din, R. Bubel, and R. Hahnle, KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, Automated Deduction -CADE-25, 2015.
DOI : 10.1007/978-3-319-21401-6_35

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, 1995.
DOI : 10.1145/199448.199484

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core??ABS, Software & Systems Modeling, vol.14, issue.5, 2014.
DOI : 10.1007/s10270-014-0444-y
URL : https://hal.archives-ouvertes.fr/hal-01229046

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

L. Henrio, F. Huet, and Z. István, Multi-threaded Active Objects, COORDINA- TION'13, 2013.
DOI : 10.1007/978-3-642-38493-6_7
URL : https://hal.archives-ouvertes.fr/hal-01486037

L. Henrio and J. Rochas, Declarative scheduling for active objects, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2554957
URL : https://hal.archives-ouvertes.fr/hal-00916293

L. Henrio and J. Rochas, From Modelling to Systematic Deployment of Distributed Active Objects ? Extended Version, p.3, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01299817

E. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, FMCO'12, 2012.
DOI : 10.2498/cit.2002.01.01

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

E. B. Johnsen, R. Schlatte, and S. L. Tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, 2015.
DOI : 10.1016/j.jlamp.2014.07.001

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

J. Rochas and L. Henrio, A ProActive Backend for ABS: from Modelling to Deployment, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01065072

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP'10, 2010.
DOI : 10.1007/978-3-642-14107-2_13

V. Serbanescu, K. Azadbakht, F. De-boer, C. Nagarajagowda, and B. Nobakht, A design pattern for optimizations in data intensive applications using ABS and JAVA 8, Concurrency and Computation: Practice and Experience, 2016.
DOI : 10.1002/cpe.3480