Kshemkalyani, Ajay D. Singhal, Mukesh <br/><br/>
Invariant-Based Verification of a Distributed Deadlock Detection Algorithm 

 - 789-799 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Correctness<br/>Distributed Algorithms<br/>Distributed Databases