M. Abadi, C. Flanagan, and S. N. Freund, Types for safe locking, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, 2006.
DOI : 10.1145/1119479.1119480

F. De-boer, M. Bravetti, I. Grabe, M. Lee, M. Steffen et al., A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, Proc. of Formal Aspects of Component Software -9th International Workshop, pp.110-127, 2012.
DOI : 10.1007/978-3-642-35861-6_7

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

C. Boyapati, R. Lee, and M. Rinard, Ownership types for safe program.: preventing data races and deadlocks, Proc. OOPSLA '02, pp.211-230, 2002.

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

D. Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, vol.36, issue.9, pp.90-102, 1993.
DOI : 10.1145/162685.162711

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous and deterministic objects, Proc. POPL'04, pp.123-134, 2004.

L. Comtet, Advanced Combinatorics: The Art of Finite and Infinite Expansions, 1974.
DOI : 10.1007/978-94-010-2196-8

M. Coppo, Type Inference with Recursive Type Equations, Proc. FoSSaCS, pp.184-198, 2001.
DOI : 10.1007/3-540-45315-6_12

C. Flanagan, K. R. Leino, M. Lillibridge, G. Nelson, J. B. Saxe et al., hats-project.eu/sites/default/files/ Deliverable51_rev2.pdf 11, Extended static checking for java. SIGPLAN Not, pp.234-245, 2002.

C. Flanagan and S. Qadeer, A type and effect system for atomicity, PLDI 03: Programming Language Design and Implementation, pp.338-349, 2003.

A. Flores-montoya, E. Albert, and S. Genaim, May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects, Proc. FORTE/FMOODS 2013, pp.273-288, 2013.
DOI : 10.1007/978-3-642-38592-6_19

S. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

E. Giachino, C. A. Grazia, C. Laneve, M. Lienhardt, and P. Y. Wong, Deadlock Analysis of Concurrent Objects: Theory and Practice, iFM'13, pp.394-411, 2013.
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 detection of unbounded process networks, Proceedings of CONCUR 2014, pp.63-77, 2014.

E. Giachino and C. Laneve, Analysis of Deadlocks in Object Groups, Lecture Notes in Computer Science, vol.100, issue.1, pp.168-182, 2011.
DOI : 10.1007/978-3-642-14107-2_13

E. Giachino and C. Laneve, A Beginner???s Guide to the DeadLock Analysis Model, Trustworthy Global Computing -7th International Symposium, TGC 2012, Revised Selected Papers, 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 and T. A. Lascu, Lock Analysis for an Asynchronous Object Calculus, Proc. 13th ICTCS, 2012.

F. Henglein, Type inference with polymorphic recursion, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.253-289, 1993.
DOI : 10.1145/169701.169692

A. Igarashi and N. Kobayashi, A generic type system for the Pi-calculus, Theoretical Computer Science, vol.311, issue.1-3, pp.121-163, 2004.
DOI : 10.1016/S0304-3975(03)00325-6

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Proc. 9th International Symposium on Formal Methods for Components and Objects, pp.142-164, 2010.
DOI : 10.2498/cit.2002.01.01

E. B. Johnsen and O. Owe, An asynchronous communication model for distributed concurrent objects, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.39-58, 2007.
DOI : 10.1109/SEFM.2004.1347520

E. Kerfoot, S. Mckeever, and F. Torshizi, Deadlock freedom through object ownership, International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO '09, 2009.
DOI : 10.1145/1562154.1562157

N. Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.436-482, 1998.
DOI : 10.1145/276393.278524

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

C. Laneve and L. Padovani, The Must Preorder Revisited, Proc. CONCUR 2007, pp.212-225
DOI : 10.1007/978-3-540-74407-8_15

R. Milner, A Calculus of Communicating Systems, 1982.
DOI : 10.1007/3-540-10235-3

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, pp.41-77, 1992.
DOI : 10.1016/0890-5401(92)90009-5

M. Naik, C. S. 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

K. I. Pun, behavioural static analysis for deadlock detection, Faculty olf Mathematics and Natural Sciences, 2013.

F. Puntigam and C. Peter, Types for active objects with static deadlock prevention, Fundam. Inform, vol.48, issue.4, pp.315-341, 2001.

R. E. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010

V. T. Vasconcelos, F. Martins, and T. Cogumbreiro, Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language, Proc. PLACES'09, pp.95-109, 2009.
DOI : 10.4204/EPTCS.17.8

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003.
DOI : 10.1109/ASE.2000.873645

S. West, S. Nanz, and B. Meyer, A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model, pp.597-612, 2010.
DOI : 10.1007/978-3-642-16901-4_39

P. Y. Wong, E. Albert, R. Muschevici, J. Proença, J. Schäfer et al., The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems, International Journal on Software Tools for Technology Transfer, vol.44, issue.2, pp.567-588, 2012.
DOI : 10.1007/s10009-012-0250-1

A. Yonezawa, J. P. Briot, and E. Shibayama, Objectoriented concurrent programming in ABCL/1, Proc. OOPSLA'86, pp.258-268, 1986.
URL : https://hal.archives-ouvertes.fr/hal-01221585