A distributed deadlock detection and resolution algorithm and its correctness proof
1988 ◽
Vol 14
(10)
◽
pp. 1443-1452
◽