G. Agha, The structure and semantics of actor languages, REX Workshop, pp.1-59, 1990.
DOI : 10.1007/BFb0019439

G. Agha, I. Mason, S. Smith, and C. Talcott, A foundation for actor computation, Journal of Functional Programming, vol.7, issue.1, pp.1-72, 1997.
DOI : 10.1017/S095679689700261X

A. Bouajjani and M. Emmi, Analysis of recursively parallel programs, POPL 2012, pp.203-214
URL : https://hal.archives-ouvertes.fr/hal-00639351

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, SFM, pp.1-56, 2015.
DOI : 10.1007/978-3-319-18941-3_1

R. Carlsson and H. Millroth, On cyclic process dependencies and the verification of absence of deadlocks in reactive systems, 1997.

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous sequential processes, Information and Computation, vol.207, issue.4, pp.459-495, 2009.
DOI : 10.1016/j.ic.2008.12.004
URL : https://hal.archives-ouvertes.fr/inria-00071834

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.
DOI : 10.1017/CBO9780511809088

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

F. S. De-boer, M. M. Jaghoori, C. Laneve, and G. Zavattaro, Decidability problems for actor systems, Logical Methods in Computer Science, vol.10, issue.4, p.2014
URL : https://hal.archives-ouvertes.fr/hal-01090952

E. Giachino and C. Laneve, A Beginner???s Guide to the DeadLock Analysis Model, TGC'2012, pp.49-63, 2013.
DOI : 10.1007/978-3-642-41157-1_4

E. Giachino and C. Laneve, Deadlock Detection in Linear Recursive Programs, Proceedings of SFM-14:ESM, pp.26-64, 2014.
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-01091747

E. Giachino, C. A. Grazia, C. Laneve, M. Lienhardt, and P. Y. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice
DOI : 10.1007/978-3-642-38613-8_27
URL : https://hal.archives-ouvertes.fr/hal-00909311

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock Analysis of Unbounded Process Networks, Proceedings of CONCUR 2014, pp.63-77, 2014.
DOI : 10.1007/978-3-662-44584-6_6
URL : https://hal.archives-ouvertes.fr/hal-01091749

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core ABS. Software and Systems Modeling, 2015.
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, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

L. Henrio, F. Huet, and Z. István, A language for multi-threaded active objects, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00720012

C. Hewitt, Procedural embedding of knowledge in planner, Proc. the 2nd International Joint Conference on Artificial Intelligence, pp.167-184, 1971.

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

N. Kobayashi, A New Type System for Deadlock-Free Processes, In CONCUR LNCS, vol.4137, pp.233-247, 2006.
DOI : 10.1007/11817949_16

N. Kobayashi and C. Laneve, Deadlock analysis of unbounded process networks, Information and Computation, vol.252, p.2016
DOI : 10.1016/j.ic.2016.03.004
URL : https://hal.archives-ouvertes.fr/hal-01091749

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

C. Schröter and J. Esparza, Reachability analysis using net unfoldings, Proc. of Workshop of Concurrency, Specification & Programming, 2000.