The pursuit of deadlock freedom
A. W. Roscoe and Naiem Dathi
Journal
Information and Computation
Month
December
Number
3
Pages
289–327
Volume
75
Year
1987
A. W. Roscoe and Naiem Dathi