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

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.
DOI : 10.1017/CBO9780511809088

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

E. Giachino and C. Laneve, A Beginner???s Guide to the DeadLock Analysis Model, TGC'2012, 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, C. Laneve, and M. Lienhardt, A framework for deadlock detection in ABS. Software and System Modeling, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01229046

N. Kobayashi, A Type System for Lock-Free Processes, Information and Computation, vol.177, issue.2, pp.122-159, 2002.
DOI : 10.1016/S0890-5401(02)93171-8

N. Kobayashi, Type Systems for Concurrent Programs, 10th Anniversary Colloquium of UNU/IIST, pp.439-453, 2003.
DOI : 10.1007/978-3-540-40007-3_26

N. Kobayashi, Type-based information flow analysis for the ??-calculus, Acta Informatica, vol.15, issue.2/3, pp.291-347, 2005.
DOI : 10.1007/s00236-005-0179-x

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

N. Kobayashi, TyPiCal: Type-based static analyzer for the Pi-Calculus. At kb, 2007.

N. Kobayashi, B. C. Pierce, and D. N. Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999.
DOI : 10.1145/330249.330251

N. Kobayashi and D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, ACM Transactions on Programming Languages and Systems, vol.32, issue.5, 2010.
DOI : 10.1145/1745312.1745313

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
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

L. Padovani, Deadlock and lock freedom in the linear ??-calculus, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, 2014.
DOI : 10.1145/2603088.2603116

URL : https://hal.archives-ouvertes.fr/hal-00932356

K. Suenaga, Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References, APLAS, pp.155-170, 2008.
DOI : 10.1007/978-3-540-71316-6_33

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