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

R. Atkey and D. Sannella, Threadsafe: static analysis for Java concurrency, Electron. Commun. 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 programming: preventing data races and deadlocks, 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, 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, Static Analysis of Concurrent Programs Based on Behavioral Type Systems, 2017.

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 and C. Laneve, Deadlock detection in linear recursive programs, Proceedings of SFM-14:ESM, in: LNCS, vol.8483, pp.26-64, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091747

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core ABS, Softw. Syst. Model, vol.15, issue.4, pp.1013-1048, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01229046

R. Einar-broch-johnsen, J. Hähnle, R. Schäfer, M. Schlatte, and . Steffen, ABS: a core language for abstract behavioral specification, FMCO, in: LNCS, vol.6957, pp.142-164, 2011.

N. D. Jones, L. H. Landweber, and Y. E. Lien, Complexity of some problems in Petri nets, Theor. Comput. Sci, vol.4, issue.3, pp.277-299, 1977.

N. Kobayashi, A new type system for deadlock-free processes, vol.4137, pp.233-247, 2006.

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-01643152

C. Laneve, A lightweight deadlock analysis for programs with threads and reentrant locks, Proc. of 22nd Int. Symposium on Formal Methods (FM 2018), vol.10951, pp.608-624, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01926509

C. Laneve and A. Garcia, Deadlock detection of Java bytecode, Proc. of 27th Int. Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), vol.10855, pp.37-53, 2017.

C. Laneve and L. Padovani, Deadlock analysis of wait-notify coordination, cs .unibo .it /~laneve /papers /DAoWNC .pdf, 2019.

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

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

M. Naik, C. Park, K. Sen, and D. Gay, Effective static deadlock detection, Proc. 31st International Conference on Software Engineering, pp.386-396, 2009.

M. Odersky, An Overview of the Scala Programming Language, 2004.

W. Reisig, Petri Nets: An Introduction, 1985.

J. C. Reynolds, Separation logic: a logic for shared mutable data structures, Proc. of LICS, pp.55-74, 2002.

K. Suenaga, Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references, APLAS, in: LNCS, vol.5356, pp.155-170, 2008.

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