Resolving distributed deadlocks in the OR request model
Jesús Villadangos, F. Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, José M. Bernabéu‐Aubán, G Vossen · 2003
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.