L.M.: Distributed Deadlock Detection (1983)

by K M Chandy, J Misra, Haas
Venue:ACM Transaction on Computer Systems