E. Ábrahám, F. S. De-boer, W. P. De-roever, and M. Steffen, An assertion-based proof system for multithreaded Java, Theoretical Computer Science, vol.331, pp.2-3, 2005.

L. Aceto, M. Cimini, A. Ingólfsdóttir, A. Hermann-reynisson, M. Steinar-hugi-sigurdarson et al., Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca, Proc. Workshop on Foundations of Coordination Languages and Software Architectures Electronic Proceedings in Theoretical Computer Science, pp.1-19, 2011.
DOI : 10.1007/3-540-54233-7_136

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

E. Albert, P. Arenas, A. Flores-montoya, S. Genaim, M. Gómez-zamalloa et al., SACO: Static Analyzer for Concurrent Objects, Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.562-567, 2014.
DOI : 10.1007/978-3-642-54862-8_46

E. Albert, P. Arenas, and M. Gómez-zamalloa, Test Case Generation of Actor Systems, Proc. 13th Intl. Symp. on Automated Technology for Verification and Analysis (ATVA), pp.259-275, 2015.
DOI : 10.1007/978-3-319-24953-7_21

E. Albert, F. S. De-boer, R. Hähnle, E. Broch-johnsen, R. Schlatte et al., Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS, Service Oriented Computing and Applications, vol.14, issue.5, pp.4-323, 2014.
DOI : 10.1007/s10009-012-0250-1

E. Albert and M. Gómez-zamalloa, Combining Static Analysis and Testing for Deadlock Detection, Proc. 12th Intl. Conf. on Integrated Formal Methods, pp.409-424, 2016.
DOI : 10.1007/10722468_15

J. Armstrong, Programming Erlang, Software for Concurrent World, 2007.
DOI : 10.1007/978-3-540-73589-2_1

. 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.

H. E. Bal, J. G. Steiner, and A. S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys, vol.21, issue.3, pp.261-322, 1989.
DOI : 10.1145/72551.72552
URL : http://reptar.uta.edu/NOTES6350/p261-bal.pdf

F. Baude, L. Henrio, and C. Ruz, Programming distributed and adaptable autonomous components-the GCM/ProActive framework, Software: Practice and Experience, vol.24, issue.13, pp.1189-1227, 2015.
DOI : 10.1002/cpe.2822
URL : https://hal.archives-ouvertes.fr/hal-01001043

R. Behjati, M. Sirjani, and M. Ahmadabadi, Bounded Rational Search for On-the-Fly Model Checking of LTL Properties, Proc. Third IPM Intl. Conf. on Fundamentals of Software Engineering, pp.292-307, 2009.
DOI : 10.1007/978-3-642-11623-0_17

A. Philip, S. Bernstein, and . Bykov, Developing Cloud Services Using the Orleans Virtual Actor Model, IEEE Internet Computing, vol.20, issue.5, pp.71-75, 2016.

J. Bjørk, F. S. De-boer, E. Broch-johnsen, R. Schlatte, and S. Tarifa, User-defined schedulers for real-time concurrent objects, Innovations in Systems and Software Engineering, vol.60, issue.61, pp.29-43, 2013.
DOI : 10.1016/j.jlap.2004.03.009

S. Blom and M. Huisman, The VerCors Tool for Verification of Concurrent Programs, Proc. 19th Intl. Symposium on Formal Methods, pp.127-131, 2014.
DOI : 10.1007/978-3-319-06410-9_9

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: 15th Intl. School on Formal Methods for the Design of Computer, Communication, and Software Systems, pp.1-56, 2015.
DOI : 10.1145/960112.28722

R. Bubel, A. F. Montoya, and R. Hähnle, Analysis of Executable Software Models, Executable Software Models: 14th Intl. School on Formal Methods for the Design of Computer, Communication, and Software Systems, pp.1-27, 2014.
DOI : 10.1007/978-3-642-23702-7_22

S. Bykov, A. Geller, G. Kliot, J. R. Larus, R. Pandya et al., Orleans, Proceedings of the 2nd ACM Symposium on Cloud Computing, SOCC '11, p.16, 2011.
DOI : 10.1145/2038916.2038932

D. Caromel and G. Chazarain, Robust exception handling in an asynchronous environment. ECOOP Workshop on Exception Handling in Object-Oriented Systems, 2005.

D. Caromel, G. Chazarain, and L. Henrio, Garbage Collecting the Grid: A Complete DGC for Activities, Proc. 8th ACM/IFIP/USENIX Intl. Middleware Conference, pp.164-183, 2007.
DOI : 10.1145/143165.143176
URL : https://hal.archives-ouvertes.fr/inria-00180150

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

D. Caromel, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, Proc. Symp. on Principles of Programming Languages, pp.123-134, 2004.
DOI : 10.1145/964001.964012

D. Caromel and Y. Roudier, Reactive programming in Eiffel//, Proc. Conf. on Object-Based Parallel and Distributed Computation (OBPDC '95), pp.125-147, 1996.
DOI : 10.1007/3-540-61487-7_25
URL : http://www.inria.fr/oasis/Denis.Caromel/ps/LNCS-Fev-96.ps

E. Castegren and T. Wrigstad, Reference Capabilities for Concurrency Control, European Conference on Object-Oriented Programming Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.1-5, 2016.

E. Castegren and T. Wrigstad, Relaxed Linear References for Lock-free Data Structures LIPIcs, European Conference on Object-Oriented Programming Schloss Dagstuhl -Leibniz- Zentrum fuer Informatik, pp.1-6, 2017.

. Charron-bost, . Bernadette, . Mattern, G. Friedemann, and . Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.18, issue.2, pp.173-191, 1996.
DOI : 10.1016/0020-0190(84)90071-1
URL : http://www.informatik.th-darmstadt.de/VS/Publikationen/papers/syn_asy.ps

D. Clarke, T. Wrigstad, J. Östlund, and E. Johnsen, Minimal Ownership for Active Objects, Proc. 6th Asian Symposium on Programming Languages and Systems (APLAS'08), Ganesan Ramalingam (Ed.). LNCS, pp.139-154, 2008.
DOI : 10.1145/960112.28722
URL : http://wrigstad.com/papers/joelle-techreport.pdf

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007.

S. Clebsch, S. Blessing, J. Franco, and S. Drossopoulou, Ownership and reference counting based garbage collection in the actor world, 10th Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems Workshop (ICOOOLPS), 2015.

S. Clebsch and S. Drossopoulou, Fully concurrent garbage collection of actors on many-core machines, Proc. ACM SIGPLAN Intl. Conf. on Object Oriented Programming Systems Languages & Applications (OOPSLA), 2013.
DOI : 10.1145/2509136.2509557

S. Clebsch, S. Drossopoulou, S. Blessing, and A. Mcneil, Deny capabilities for safe, fast actors, Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, pp.1-12, 2015.
DOI : 10.1145/1869459.1869509

G. Cugola and C. Ghezzi, CJava: Introducing Concurrent Objects in Java, 4th Intl. Conf. on Object Oriented Information Systems (OOIS'97, pp.504-514, 1997.
DOI : 10.1007/978-1-4471-1525-0_41
URL : http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Gianpaolo.Cugola/Papers/OOIS97.ps.gz

O. Dahl, B. Myrhaug, and K. Nygaard, (Simula 67) Common Base Language, 1968.

O. Dahl and K. Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966.
DOI : 10.1145/365813.365819

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. Dean and S. Ghemawat, MapReduce, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008.
DOI : 10.1145/1327452.1327492

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-Oriented Programming in AmbientTalk, European Conference on Object-Oriented Programming, pp.230-254, 2006.

C. Chang-din, R. Bubel, and R. Hähnle, KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, Automated Deduction (CADE-25, pp.517-526, 2015.

C. Chang-din and O. Owe, Compositional reasoning about active objects with shared futures, Formal Aspects of Computing, vol.27, issue.3, pp.551-572, 2015.

C. Chang-din, S. L. Tapia-tarifa, R. Hähnle, and E. Johnsen, History-Based Specification and Verification of Scalable Concurrent and Distributed Systems, Proc. 17th Intl. Conf. on Formal Engineering Methods, 2015.

J. Doménech, S. Genaim, E. Broch-johnsen, and R. Schlatte, EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools, Proc. 20th Intl. Conf. on Fundamental Approaches to Software Engineering Marieke Huisman and, pp.379-383, 2017.
DOI : 10.1007/978-3-662-54494-5_22

K. Fernandez-reyes, D. Clarke, and D. S. Mccain, ParT: an asynchronous parallel abstraction, Proc. 18th Intl. Conf. on Coordination Models and Languages (COORDINATION), pp.101-120, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01631723

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core ABS. Software and System Modeling, pp.1013-1048, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01229046

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

R. Hähnle, M. Helvensteijn, E. Broch-johnsen, M. Lienhardt, D. Sangiorgi et al., HATS Abstract Behavioral Specification: the Architectural View, Formal Methods for Components and Objects (FMCO'12), pp.109-132, 2013.

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.2-3, 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

M. Haustein and K. Löhr, JAC: declarative Java concurrency. Concurrency and Computation: Practice and Experience, pp.519-546, 2006.
DOI : 10.1002/cpe.956
URL : http://web.cse.msu.edu/~cse914/Papers/LohrJAC2005.pdf

L. Henrio, F. Huet, and Z. István, Multi-threaded Active Objects, 15th Intl. Conf. on Coordination Models and Languages, pp.90-104, 2013.
DOI : 10.1007/978-3-642-38493-6_7
URL : https://hal.archives-ouvertes.fr/hal-01486037

L. Henrio, F. Kammüller, and B. Lutz, ASPfun : A typed functional active object calculus, Science of Computer Programming, vol.77, issue.7-8, pp.7-8, 2012.
DOI : 10.1016/j.scico.2010.12.008
URL : https://doi.org/10.1016/j.scico.2010.12.008

L. Henrio, M. U. Khan, N. Ranaldo, and E. Zimeo, First Class Futures: Specification and Implementation of Update Strategies, Selected Papers Coregrid Workshop On Grids, Clouds and P2P Computing, 2010.
DOI : 10.1145/1103845.1094845
URL : https://hal.archives-ouvertes.fr/inria-00544594

L. Henrio, O. Kulankhina, S. Li, and E. Madelaine, Integrated Environment for Verifying and??Running Distributed Components, Proc. Intl. Conf. on Fundamental Approaches to Software Engineering, pp.66-83, 2016.
DOI : 10.1007/978-3-319-07602-7_10
URL : https://hal.archives-ouvertes.fr/hal-01303557

L. Henrio and J. Rochas, Declarative scheduling for active objects, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1339-1344, 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, Proc. Coordination Models and Languages: 18th Intl. Conf. ( COORDINATION), 2016.
DOI : 10.1002/cpe.3480
URL : https://hal.archives-ouvertes.fr/hal-01305474

C. Hewitt, P. Bishop, and R. Steiger, A Universal Modular ACTOR Formalism for Artificial Intelligence, Proc. 3rd Intl. Joint Conference on Artificial Intelligence (IJCAI), pp.235-245, 1973.

T. Hoare, Communicating Sequential Processes, 1985.
DOI : 10.1145/357980.358021

H. Hojjat, M. Sirjani, M. R. Mousavi, and J. F. Groote, Sarir: A Rebeca to mCRL2 Translator, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), pp.216-222, 2007.
DOI : 10.1109/ACSD.2007.24
URL : http://www.win.tue.nl/~jfg/articles/acsd07.pdf

A. Jafari, E. Khamespanah, M. Sirjani, and H. Hermanns, Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors, Electronic Communication of the European Association of Software Science and Technology, vol.70, 2014.

M. Mahdi-jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, and A. Movaghar, Symmetry and partial order reduction techniques in model checking Rebeca, Acta Informatica, vol.9, issue.2, pp.33-66, 2010.
DOI : 10.1007/978-1-4615-3190-6

R. Einar-broch-johnsen, R. Hähnle-schäfer, M. Schlatte, and . Steffen, ABS: A Core Language for Abstract Behavioral Specification, Formal Methods for Components and Objects (FMCO'10), pp.142-164, 2011.

E. Broch, J. , and O. Owe, An Asynchronous Communication Model for Distributed Concurrent Objects, Software and System Modeling, vol.6, issue.1, pp.35-58, 2007.

O. Einar-broch-johnsen, M. Owe, and . Arnestad, Combining Active and Reactive Behavior in Concurrent Objects, Proc. of the Norwegian Informatics Conference (NIK'03), Dag Langmyhr, pp.193-204, 2003.

O. Einar-broch-johnsen, I. C. Owe, and . Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

R. Einar-broch-johnsen, S. Schlatte, and . Tarifa, Integrating deployment architectures and resource consumption in timed object-oriented models, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.67-91, 2015.
DOI : 10.1016/j.jlamp.2014.07.001

E. Khamespanah, M. Sirjani, M. R. Mousavi, Z. Sabahi-kaviani, and M. Razzazi, State Distribution Policy for Distributed Model Checking of Actor Models, Electronic Communication of the European Association of Software Science and Technology, 2015.

E. Khamespanah, M. Sirjani, Z. Sabahi-kaviani, R. Khosravi, and M. Izadi, Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system, Science of Computer Programming, vol.98, pp.184-204, 2015.
DOI : 10.1016/j.scico.2014.07.005

E. Khamespanah, M. Sirjani, M. Viswanathan, and R. Khosravi, Floating Time Transition System: More Efficient Analysis of Timed Actors, Proc. 12th Intl. Symp. on Formal Aspects of Component Software (FACS), pp.237-255, 2015.
DOI : 10.1007/978-3-319-28934-2_13

E. Lin and H. Rajan, Panini, Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity, SPLASH '13, pp.19-20, 2013.
DOI : 10.1145/2508075.2514573

B. Liskov and L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, Proc. Conf. of Programming Language design and Implementation (PLDI), pp.260-267, 1988.
DOI : 10.1145/53990.54016

D. Mccain, Parallel Combinators for the Encore Programming Language, 2015.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279
URL : http://www.inf.ethz.ch/~meyer/publications/computer/contract.pdf

B. Meyer, Systematic concurrent object-oriented programming, Communications of the ACM, vol.36, issue.9, pp.56-80, 1993.
DOI : 10.1145/162685.162705
URL : http://www.inf.ethz.ch/~meyer/publications/acm/scoop.pdf

M. S. Miller, E. D. Tribble, and J. Shapiro, Concurrency Among Strangers, Proc. Intl. Symp. on Trustworthy Global Computing (TGC'05), pp.195-229, 2005.
DOI : 10.1007/11580850_12

R. Milner, Communication and Concurrency, 1989.

J. Misra, A Discipline of Multiprogramming: Programming Theory for Distributed Applications, 2001.

N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah, A. Shali et al., Sysfier, ACM Transactions on Embedded Computing Systems, vol.10, issue.2, p.19, 2010.
DOI : 10.1145/1880050.1880055

M. Arni-hermann-reynisson, L. Sirjani, M. Aceto, A. Cimini, A. Jafari et al., Modelling and simulation of asynchronous real-time systems using Timed Rebeca, Science of Computer Programming, vol.89, pp.41-68, 2014.
DOI : 10.1016/j.scico.2014.01.008

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

Z. Sabahi-kaviani, R. Khosravi, P. C. Ölveczky, E. Khamespanah, and M. Sirjani, Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude, Science of Computer Programming, vol.113, pp.85-118, 2015.
DOI : 10.1016/j.scico.2015.07.003

H. Sabouri and R. Khosravi, Modeling and Verification of Reconfigurable Actor Families, Journal of Universal Computer Science, vol.19, issue.2, pp.207-232, 2013.

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, European Conference on Object-Oriented Programming, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

V. Serbanescu, C. Nagarajagowda, K. Azadbakht, B. Frank-de-boer, and . Nobakht, Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8, First International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, 2014.
DOI : 10.1007/978-3-319-13464-2_8

M. Steinar-hugi-sigurdarson, Y. Sirjani, A. Björnsson, and . Hermann-reynisson, Guided Search for Deadlocks in Actor-Based Models, Proc. 9th Intl. Symp. on Formal Aspects of Component Software (FACS), pp.242-259, 2012.

M. Sirjani, F. S. De-boer, A. Movaghar, and A. Shali, Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), pp.212-221, 2005.
DOI : 10.1109/ACSD.2005.12

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, pp.1695-1717, 2005.

M. Sirjani and M. M. Jaghoori, Ten Years of Analyzing Actors: Rebeca Experience In Formal Modeling: Actors, Open Systems, Biological Systems, LNCS, vol.7000, pp.20-56, 2011.

M. Sirjani, M. R. Movaghar, and . Mousavi, Compositional Verification of an Object-Based Model for Reactive Systems, Proc. 11th Computer Science of Iran Computer Conference (CSICC), 2001.

M. Sirjani, A. Movaghar, A. Shali, and F. S. De-boer, Modeling and Verification of Reactive Systems using Rebeca, Fundamenta Informaticae, vol.63, issue.4, pp.385-410, 2004.

Y. H. Peter, E. Wong, R. Albert, J. P. Muschevici, R. Schäfer et al., The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems, Journal on Software Tools for Technology Transfer, vol.14, issue.5, pp.567-588, 2012.

Y. Yokote and M. Tokoro, Concurrent Programming in ConcurrentSmalltalk, Object-Oriented Concurrent Programming, pp.129-158, 1987.

A. Yonezawa, J. Briot, and E. Shibayama, Object-Oriented Concurrent Programming in ABCL/1, ACM International Conference on Object-Oriented Programming, Systems, Languages and Applica- tions(OOPSLA'86), pp.258-268, 1986.
DOI : 10.1016/b978-0-934613-63-7.50046-2
URL : https://hal.archives-ouvertes.fr/hal-01221585

B. Yousefi, F. Ghassemi, and R. Khosravi, Modeling and Efficient Verification of Broadcasting Actors, Proc. 6th Intl. Conf. on Fundamentals of Software Engineering, pp.69-83, 2009.
DOI : 10.1007/978-3-642-34281-3_12
URL : https://hal.archives-ouvertes.fr/hal-01446611

B. Yousefi, F. Ghassemi, and R. Khosravi, Modeling and efficient verification of wireless ad hoc networks, Formal Aspects of Computing, vol.43, issue.3, 2016.
DOI : 10.1007/978-3-319-24644-4_5