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