Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. INF. 35(4). Accessed November 14, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/375