✦ LIBER ✦

A distributed deadlock detection and resolution algorithm and its correctness proof

✍ Scribed by Elmagarmid, A.K.; Soundararajan, N.; Liu, M.T.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Distributed Store-and-Forward Deadlock D

✍ Cidon, I.; Jaffe, J.; Sidi, M. 📂 Article 📅 1987 🏛 IEEE 🌐 English ⚖ 905 KB

A modified priority based probe algorith

✍ Choudhary, A.N.; Kohler, W.H.; Stankovic, J.A.; Towsley, D. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 924 KB

A distributed scheme for dynamic deadloc

✍ Dongmyun Lee; Myunghwan Kim 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 943 KB

A distributed deadlock detection algorit

✍ JoséR. González de Mendívil; Carlos F. Alastruey; JoséR. Garitagoitia 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 574 KB

Correction to 'A modified priority based

✍ Choudhary, A.N.; Kohler, W.H.; Stankovic, J.A.; Towsley, D. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 142 KB

Deadlock Models and a General Algorithm

✍ Jerzy Brzezinski; Jean-Michel Helary; Michel Raynal; Mukesh Singhal 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 71 KB