A Distributed Algorithm for Deadlock Detection and Resolution.

Published in: Symposium on Reliability in Distributed Software and Database Systems (1984)