Correctness of a distributed deadlock resolution algorithm for the single request model
1999 ◽
Vol 10
(5)
◽
pp. 433-447
◽