A distributed algorithm for generalized deadlock detection - Bracha, Gabriel; Toueg, Sam (1983)