Distributed deadlock detection (1983)

by K M Chandy, J Misra, L M Haas
Venue:ACM Trans. on Computer Systems