M. Coppo et al. (2013):
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
In: COORDINATION,
LNCS 7890,
pp. 45–59,
doi:10.1007/978-3-642-38493-6_4.
Shan Lu et al (2008):
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.
In: ASPLOS'08,
pp. 329–339,
doi:10.1145/1346281.1346323.
Luís Caires & Hugo Torres Vieira (2010):
Conversation types.
Theoretical Computer Science 411(51-52),
pp. 4399–4440,
doi:10.1016/j.tcs.2010.09.010.
Marco Carbone, Ornela Dardha & Fabrizio Montesi (2014):
Progress as Compositional Lock-Freedom.
In: COORDINATION,
LNCS 8459,
pp. 49–64,
doi:10.1007/978-3-662-43376-8_4.
Marco Carbone & Fabrizio Montesi (2013):
Deadlock-freedom-by-design: multiparty asynchronous global programming.
In: POPL,
pp. 263–274,
doi:10.1145/2429069.2429101.
Edward G. Coffman, Melanie Elphick & Arie Shoshani (1971):
System deadlocks.
ACM Computing Surveys 3(2),
pp. 67–78,
doi:10.1145/356586.356588.
Pedro Fonseca, Cheng Li, Vishal Singhal & Rodrigo Rodrigues (2010):
A study of the internal and external effects of concurrency bugs.
In: DSN,
pp. 221–230,
doi:10.1109/DSN.2010.5544315.
Elena Giachino, Naoki Kobayashi & Cosimo Laneve (2014):
Deadlock Analysis of Unbounded Process Networks.
In: CONCUR,
LNCS 8704,
pp. 63–77,
doi:10.1007/978-3-662-44584-6_6.
Marco Giunti & António Ravara (2014):
Towards Static Deadlock Resolution in the Pi-Calculus.
In: TGC'13,
LNCS 8358,
pp. 136–155,
doi:10.1007/978-3-319-05119-2_9.
Naoki Kobayashi (2000):
Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.
IFIP TCS 1872,
pp. 365–389,
doi:10.1007/3-540-44929-9_27.
Naoki Kobayashi (2006):
A New Type System for Deadlock-Free Processes.
In: CONCUR,
LNCS 4137,
pp. 233–247,
doi:10.1007/11817949_16.
Robin Milner (1980):
A Calculus of Communicating Systems.
LNCS 92,
doi:10.1007/3-540-10235-3.
Luca Padovani (2014):
Deadlock and lock freedom in the linear pi-calculus.
In: LICS,
doi:10.1145/2603088.2603116.
Hugo Torres Vieira & Vasco Thudichum Vasconcelos (2013):
Typing progress in communication-centred systems.
In: COORDINATION,
LNCS 7890,
pp. 236–250,
doi:10.1007/978-3-642-38493-6_17.