G. A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

E. Albert, A. Flores-montoya, and S. Genaim, Analysis of May-Happen-in-Parallel in Concurrent Objects, P roc. of FORTE'12, pp.35-51, 2012.
DOI : 10.1007/978-3-642-30793-5_3

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

F. S. De-boer, I. Grabe, and M. Steffen, Termination detection for active objects, The Journal of Logic and Algebraic Programming, vol.81, issue.4, pp.541-557, 2012.
DOI : 10.1016/j.jlap.2012.03.009

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, P roc. 16th European Symposium on Programming, pp.316-330, 2007.

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

E. Giachino and C. Laneve, Analysis of Deadlocks in Object Groups, P roc, pp.168-182, 2011.
DOI : 10.1007/978-3-642-14107-2_13

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

R. C. Holt, Some Deadlock Properties of Computer Systems, ACM Computing Surveys, vol.4, issue.3, pp.179-196, 1972.
DOI : 10.1145/356603.356607

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification. In P roc. of FMCO, LNCS, vol.10, issue.6957, pp.142-164, 2012.

S. P. Masticola and B. G. Ryder, A Model of Ada Programs for Static Deadlock Detection in Polynomial Time, P arallel and Distributed Debugging, pp.97-107, 1991.

A. Milanova, A. Rountev, and B. G. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology, vol.14, issue.1, pp.1-41, 2005.
DOI : 10.1145/1044834.1044835

M. Naik, C. Park, K. Sen, and D. Gay, Effective static deadlock detection, 2009 IEEE 31st International Conference on Software Engineering, pp.386-396, 2009.
DOI : 10.1109/ICSE.2009.5070538
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.8106

Y. Smaragdakis, M. Bravenboer, and O. Lhoták, Pick your contexts well: understanding object-sensitivity, P OPL, pp.17-30, 2011.
DOI : 10.1145/1925844.1926390

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.32-41, 1996.
DOI : 10.1145/237721.237727