Types for safe locking, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, p.28, 2006. ,
DOI : 10.1145/1119479.1119480
Ownership types for safe program.: preventing data races and deadlocks, OOPSLA, pp.211-230, 2002. ,
Introduction to Lattices and Order, 2002. ,
DOI : 10.1017/CBO9780511809088
A type and effect system for atomicity, PLDI, pp.338-349, 2003. ,
A Beginner???s Guide to the DeadLock Analysis Model, TGC'2012, pp.49-63, 2013. ,
DOI : 10.1007/978-3-642-41157-1_4
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
A framework for deadlock detection in ABS. Software and System Modeling, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01229046
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
Type Systems for Concurrent Programs, 10th Anniversary Colloquium of UNU/IIST, pp.439-453, 2003. ,
DOI : 10.1007/978-3-540-40007-3_26
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
A New Type System for Deadlock-Free Processes, In CONCUR LNCS, vol.4137, pp.233-247, 2006. ,
DOI : 10.1007/11817949_16
TyPiCal: Type-based static analyzer for the Pi-Calculus. At kb, 2007. ,
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
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
A Calculus of Communicating Systems, LNCS, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
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
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
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
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language, PLACES, pp.95-109, 2009. ,
DOI : 10.4204/EPTCS.17.8