References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Marco Carbone & Fabrizio Montesi (2013): Deadlock-freedom-by-design: multiparty asynchronous global programming. In: POPL, pp. 263–274, doi:10.1145/2429069.2429101.
  6. Edward G. Coffman, Melanie Elphick & Arie Shoshani (1971): System deadlocks. ACM Computing Surveys 3(2), pp. 67–78, doi:10.1145/356586.356588.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. Naoki Kobayashi (2006): A New Type System for Deadlock-Free Processes. In: CONCUR, LNCS 4137, pp. 233–247, doi:10.1007/11817949_16.
  12. Robin Milner (1980): A Calculus of Communicating Systems. LNCS 92, doi:10.1007/3-540-10235-3.
  13. Luca Padovani (2014): Deadlock and lock freedom in the linear pi-calculus. In: LICS, doi:10.1145/2603088.2603116.
  14. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org