A distributed deadlock detection and resolution algorithm and its correctness proof

Authors :: Elmagarmid, Ahmed K.
Soundararajan, Neelam
Liu, Ming T.
Source :: IEEE Transactions on Software Engineering. Oct, 1988, Vol. v14 Issue n10, p1443, 10 p.
Publication Year :: 1988

Subjects :: Algorithm
Deadlock Detection and Recovery
Distributed Systems
Online Transaction Processing
Resource Allocation
Controllers
Mathematical Proofs
Technology

Tools