Distributed Deadlock detection (1983)

by K Chandy, J Misra, L Hass
Venue:ACM Transactions on Computer Systems