Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. INF 35 (4).