A. W. Roscoe, Naiem Dathi. The Pursuit of Deadlock freedom. Inf. Comput., 75(3):289-327, December 1987.
@article{RoscoeD87, title = {The Pursuit of Deadlock freedom}, author = {A. W. Roscoe and Naiem Dathi}, year = {1987}, month = {December}, researchr = {https://researchr.org/publication/RoscoeD87}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {75}, number = {3}, pages = {289-327}, }