TY  - SER
AU  - Kshemkalyani, Ajay D.
AU  - Singhal, Mukesh
TI  - Invariant-Based Verification of a Distributed Deadlock Detection Algorithm
KW  - Correctness
KW  - Distributed Algorithms
KW  - Distributed Databases
ER  -