M. Abadi, C. Flanagan, and S. N. Freund, Types for safe locking: Static race detection for Java, ACM Trans. Prog. Lang. Syst, vol.28, pp.207-255, 2006.

R. Atkey and D. Sannella, Threadsafe: Static analysis for Java concurrency, Electronic Communications of the ECEASST, vol.72, 2015.

S. Bensalem and K. Havelund, Dynamic deadlock analysis of multi-threaded programs, Hardware and Software Verification and Testing, vol.3875, pp.208-223, 2005.

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

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.

M. Eslamimehr and J. Palsberg, Sherlock: scalable deadlock detection for concurrent programs, Proc. 22nd International Symposium on Foundations of Software Engineering (FSE-22), pp.353-365, 2014.

C. Flanagan and S. Qadeer, A type and effect system for atomicity, PLDI, pp.338-349, 2003.

A. Flores-montoya, E. Albert, and S. Genaim, May-happen-in-parallel based deadlock analysis for concurrent objects, FORTE/FMOODS 2013, vol.7892, pp.273-288, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01515247

A. Garcia and C. Laneve, JaDA-the Java Deadlock Analyser, Behavioural Types: from Theories to Tools, pp.169-192, 2017.

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock analysis of unbounded process networks, CONCUR 2014-Concurrency Theory-25th International Conference, vol.8704, pp.63-77, 2014.
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 System Modeling, vol.15, pp.1013-1048, 2016.
DOI : 10.1007/s10270-014-0444-y
URL : https://hal.archives-ouvertes.fr/hal-01229046

N. D. Jones, L. H. Landweber, and Y. E. Lien, Complexity of some problems in petri nets, Theoretical Computer Science, vol.4, issue.3, pp.277-299, 1977.

N. Kobayashi, A new type system for deadlock-free processes, CONCUR, vol.4137, pp.233-247, 2006.
DOI : 10.1007/11817949_16
URL : http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf

N. Kobayashi and C. Laneve, Deadlock analysis of unbounded process networks, Inf. Comput, vol.252, pp.48-70, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01091749

C. Laneve and A. Garcia, Deadlock detection of Java Bytecode, 2017.
DOI : 10.1007/978-3-319-94460-9_3
URL : http://arxiv.org/pdf/1709.04152

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, ii, Inf. and Comput, vol.100, pp.41-77, 1992.

M. Naik, C. Park, K. Sen, and D. Gay, Effective static deadlock detection, Proc. 31st International Conference on Software Engineering (ICSE 2009), pp.386-396, 2009.
DOI : 10.1109/icse.2009.5070538

K. Suenaga, Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references, APLAS, vol.5356, pp.155-170, 2008.
DOI : 10.1007/978-3-540-89330-1_12
URL : http://www.kb.ecei.tohoku.ac.jp/~suenaga/doc/paper/aplas2008.pdf

F. Vasco-thudichum-vasconcelos, T. Martins, and . Cogumbreiro, Type inference for deadlock detection in a multithreaded polymorphic typed assembly language, PLACES, vol.17, pp.95-109, 2009.