Glen Newton
Sperry-Univac, Roseville, MN
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation