R. Ameur-boulifa, L. Henrio, O. Kulankhina, E. Madelaine, and A. Savu, Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, pp.1-40, 2017.
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-01526055

S. Frank, M. De-boer, I. Bravetti, M. D. Grabe, M. Lee et al., A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, FACS 2012, Lecture Notes in Computer Science

C. Boyapati, R. Lee, and M. C. Rinard, Ownership types for safe programming: preventing data races and deadlocks, Proc. OOPSLA, 2002.
DOI : 10.1145/582438.582440

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

A. Flores-montoya, E. Albert, and S. Genaim, May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects, Proc. FORTE/FMOODS 2013, 2013.
DOI : 10.1007/978-3-642-38592-6_19
URL : https://hal.archives-ouvertes.fr/hal-01515247

E. Giachino, L. Henrio, C. Laneve, and V. Mastandrea, Actors may synchronize, safely! In Proceedings of PPDP 2016, 2016.

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock Analysis of Unbounded Process Networks, Proceedings of CONCUR 2014, 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, pp.1013-1048, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01229046

A. Gkolfi, C. Chang-din, M. Einar-broch-johnsen, I. C. Steffen, and . Yu, Translating active objects into colored petri nets for communication analysis, Proc. FSEN 2017, Lecture Notes in Computer Science

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

L. Henrio, C. Laneve, and V. Mastandrea, Analysis of synchronisations in stateful active objects (full paper). https://bitbucket.org/VMastandrea/effects-full-pdf/raw

R. Einar-broch-johnsen, R. Hähnle-schäfer, M. Schlatte, and . Steffen, ABS: A core language for abstract behavioral specification, Proceedings of FMCO 2010, pp.142-164, 2010.

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

M. John, D. K. Lucassen, and . Gifford, Polymorphic effect systems, Proc. of POPL 1988, pp.47-57, 1988.

B. Morris, The Symbian OS Architecture Sourcebook: Design and Evolution of a Mobile Phone OS, 2007.

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

M. Sirjani, Rebeca: Theory, Applications, and Tools, FMCO, 2006.
DOI : 10.1007/978-3-540-74792-5_5