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