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