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
Ownership types for safe program.: preventing data races and deadlocks, Proc. OOPSLA '02, pp.211-230, 2002. ,
Advanced Combinatorics: The Art of Finite and Infinite Expansions, 1974. ,
DOI : 10.1007/978-94-010-2196-8
Deadlock analysis in practice (2013), submitted ,
Deadlock and livelock analysis in concurrent objects with futures, 2013. ,
Mutations, flashbacks and deadlocks (2013), submitted ,
Lock analysis for an asynchronous object calculus, p.2012, 2012. ,
ABS: A Core Language for Abstract Behavioral Specification, Proc. of FMCO 2010, pp.142-164, 2011. ,
DOI : 10.2498/cit.2002.01.01
Type Systems for Concurrent Programs, LNCS, vol.2757, pp.439-453, 2003. ,
DOI : 10.1007/978-3-540-40007-3_26
A New Type System for Deadlock-Free Processes, Proc. CONCUR 2006, pp.233-247, 2006. ,
DOI : 10.1007/11817949_16
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