A Distributed Algorithm for Generalized Deadlock Detection.

Gabriel Bracha, Sam Toueg

Browse the full PODC paper archive.