Srinivasan, S. and Rajaram, R. . Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems. Informatica. 35, 4 ().