Srinivasan, S.; Rajaram, R. Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. IJCAI 35.