R. Agarwal, S. Bensalem, E. Farchi, K. Havelund, Y. Nir-buchbinder et al., Detection of deadlock potentials in multithreaded programs, IBM Journal of Research and Development, vol.54, issue.5, p.3, 2010.
DOI : 10.1147/JRD.2010.2060276

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

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

E. Giachino, C. A. Grazia, C. Laneve, M. Lienhardt, and P. Y. Wong, Deadlock analysis in practice (2013), submitted

E. Giachino and C. Laneve, Deadlock and livelock analysis in concurrent objects with futures, 2013.

E. Giachino and C. Laneve, Mutations, flashbacks and deadlocks (2013), submitted

E. Giachino and T. A. Lascu, Lock analysis for an asynchronous object calculus, p.2012, 2012.

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen, ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO 2010, pp.142-164, 2011.
DOI : 10.2498/cit.2002.01.01

N. Kobayashi, Type Systems for Concurrent Programs, LNCS, vol.2757, pp.439-453, 2003.
DOI : 10.1007/978-3-540-40007-3_26

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

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