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]
@inproceedings{Raynal14-0, title = {Simple Deadlock Detection for the And-Communication Model}, author = {Michel Raynal}, year = {2014}, doi = {10.1109/CISIS.2014.38}, url = {http://dx.doi.org/10.1109/CISIS.2014.38}, researchr = {https://researchr.org/publication/Raynal14-0}, cites = {0}, citedby = {0}, pages = {273-278}, booktitle = {Eighth International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2014, Birmingham, UK, July 2-4, 2014}, publisher = {IEEE}, isbn = {978-1-4799-4325-8}, }