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