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

T. Amtoft, H. R. Nielson, and F. Nielson, Type and Effect Systems: Behaviours for Concurrency, 1999.
DOI : 10.1142/p132

N. E. Beckman, A survey of methods for preventing race conditions, 2006.

A. D. Birrell, An introduction to programming with threads, Digital Equipment Corporation Research Center, 1989.

C. Boyapati, R. Lee, and M. Rinard, Ownership types for safe programming: Preventing data races and deadlocks, Object Oriented Programming: Systems, Languages, and Applications (OOPSLA) '02 SIGPLAN Notices, 2002.
DOI : 10.1145/582438.582440

C. Boyapati and M. Rinard, A parameterized type system for race-free Java programs, Object Oriented Programming: Systems, Languages, and Applications (OOPSLA) '01, 2001.

E. G. Coffman-jr, M. Elphick, and A. Shoshani, System Deadlocks, ACM Computing Surveys, vol.3, issue.2, pp.67-78, 1971.
DOI : 10.1145/356586.356588

J. Corbett, Evaluating deadlock detection methods for concurrent software, IEEE Transactions on Software Engineering, vol.22, issue.3, pp.161-180, 1996.
DOI : 10.1109/32.489078
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.863

E. W. Dijkstra, Cooperating Sequential Processes, 1965.
DOI : 10.1007/978-1-4757-3472-0_2

C. Flanagan and S. Freund, Type Inference Against Races, Proceedings of SAS '04, pp.116-132, 2004.
DOI : 10.1007/978-3-540-27864-1_11
URL : http://doi.org/10.1016/j.scico.2006.03.006

C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen, The essence of compiling with continuations, ACM Conference on Programming Language Design and Implementation (PLDI)

F. Genyus, Programming Languages, 1968.

D. Grossman, Type-safe multithreading in Cyclone, TLDI'03: Types in Language Design and Implementation, pp.13-25, 2003.

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

M. Naik, A. Aiken, and J. Whaley, Effective static race detection for Java, ACM Conference on Programming Language Design and Implementation (PLDI), pp.308-319, 2006.
DOI : 10.1145/1133255.1134018
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.585

K. I. Pun, M. Steffen, and V. Stolz, Deadlock checking by a behavioral effect system for lock handling, The Journal of Logic and Algebraic Programming, vol.81, issue.3, pp.331-354, 2011.
DOI : 10.1016/j.jlap.2011.11.001

K. I. Pun, M. Steffen, and V. Stolz, Deadlock checking by data race detection, 2012.
DOI : 10.1016/j.jlamp.2014.07.003
URL : https://hal.archives-ouvertes.fr/hal-01514663

M. Rinard, Analysis of Multithreaded Programs, Proceedings of the 8th International Static Analysis Symposium, SAS '01, pp.1-19, 2001.
DOI : 10.1007/3-540-47764-0_1

A. Sasturkar, R. Agarwal, L. Wang, and S. Stoller, Automated type-based analysis of data races and atomicity, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '05, pp.83-94, 2005.
DOI : 10.1145/1065944.1065956

H. Seidl and V. Vojdani, Region Analysis for Race Detection, Proceedings of SAS '09, pp.171-187, 2009.
DOI : 10.1007/978-3-540-70545-1_36

V. Vasconcelos, F. Martins, and T. Cogumbreiro, Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language, Pre-Proceedings of the Workshop on Programming Language Approaches to Concurrenct and Communication-Centric Software, pp.95-109, 2009.
DOI : 10.4204/EPTCS.17.8