Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. IJCAI. 35(4). Accessed June 22, 2026. https://www.informatica.si/index.php/informatica/article/view/375