Michel Raynal. Simple Deadlock Detection for the And-Communication Model. In Eighth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014, Birmingham, UK, July 2-4, 2014. pages 273-278, IEEE, 2014. [doi]
Abstract is missing.