S. Srinivasan and R. Rajaram, “Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems”, IJCAI, vol. 35, no. 4.