Srinivasan, S., and R. Rajaram. “Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems”. Informatica 35 (4). https://puffbird.ijs.si/index.php/informatica/article/view/375.