Gavin Lowe. Discovering and correcting a deadlock in a channel implementation. Formal Asp. Comput., 31(4):411-419, 2019. [doi]
@article{Lowe19-1, title = {Discovering and correcting a deadlock in a channel implementation}, author = {Gavin Lowe}, year = {2019}, doi = {10.1007/s00165-019-00487-y}, url = {https://doi.org/10.1007/s00165-019-00487-y}, researchr = {https://researchr.org/publication/Lowe19-1}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {31}, number = {4}, pages = {411-419}, }