G. Agha, ACTORS: A Model of Concurrent Computations in Distributed Systems, 1986.

G. Agha and C. Hewitt, Concurrent programming using actors, Object-Oriented Concurrent Programming, 1987.

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

P. Baldan, F. Bonchi, F. Gadducci, and G. V. Monreale, Modular encoding of synchronous and asynchronous interactions using open Petri nets, Science of Computer Programming, vol.109, 2015.
DOI : 10.1016/j.scico.2014.11.019
URL : https://hal.archives-ouvertes.fr/hal-01284925

E. Best, R. R. Devillers, and M. Koutny, Petri net algebra. Monographs in Theoretical Computer Science. An EATCS Series, 2001.

R. Bruni, H. C. Melgratti, and E. Tuosto, Translating Orc Features into Petri Nets and the Join Calculus, WS-FM'06, 2006.
DOI : 10.1007/11841197_8

N. Busi and R. Gorrieri, A Petri net semantics for pi-calculus, CONCUR '95, 1995.
DOI : 10.1007/3-540-60218-6_11

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

K. M. Chandy, J. Misra, and L. M. Haas, Distributed deadlock detection, ACM Transactions on Computer Systems, vol.1, issue.2, 1983.
DOI : 10.1145/357360.357365

F. S. De-boer, M. Bravetti, I. Grabe, M. Lee, M. Steffen et al., A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, FACS 2012, 2013.
DOI : 10.1007/978-3-642-35861-6_7

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

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

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core ABS. Software and System Modeling, p.2016
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.2-3, 2009.
DOI : 10.1016/j.tcs.2008.09.019
URL : https://doi.org/10.1016/j.tcs.2008.09.019

J. Ichbiah, J. G. Barnes, J. C. Heliard, B. Krieg-brückner, O. Roubine et al., Modules and visibility in the Ada programming language, On the Construction of Programs, 1980.

K. Jensen, Coloured Petri Nets In Petri Nets: Central Models and their PropertiesAdvances in Petri Nets 1986) Part I, Lecture Notes in Computer Science, vol.254, 1987.

K. Jensen and L. M. Kristensen, Coloured Petri Nets ? Modelling and Validation of Concurrent Systems, 2009.

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, FMCO 2010, 2011.
DOI : 10.2498/cit.2002.01.01
URL : http://www.ifi.uio.no/%7Eeinarj/Papers/johnsen10fmco.pdf

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

B. Long, P. A. Strooper, and L. Wildman, A method for verifying concurrent Java components based on an analysis of concurrency failures, Concurrency and Computation: Practice and Experience, vol.41, issue.3, 2007.
DOI : 10.1109/TSE.1986.6312976

O. Owe and I. C. Yu, Deadlock detection of active objects with synchronous and asynchronous method calls, Proceedings of NIK 2014, 2014.

C. Petri, Kommunikation mit Automaten, 1962.

K. I. Pun, Behavioural static analysis for deadlock detection

A. V. Ratzer, L. Wells, H. M. Lassen, M. Laursen, J. F. Qvortrup et al., CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, ICATPN 2003, volume 2679 of Lecture Notes in Computer Science, 2003.
DOI : 10.1007/3-540-44919-1_28

W. Reisig, Petri Nets, EATCS Monographs in Computer Science, vol.4, 1985.