In this work a new distributed deadlock resolution algorithm for the OR model is proposed. The algorithm verifies the correctness criteria: safety-false deadlocks are not resolved; and liveness-deadlocks are resolved in finite time
Published in:
Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on
Date of Conference: 1999