A distributed algorithm for generalized deadlock detection - Bracha, Gabriel; Toueg, Sam (Cornell University <Ithaca, NY>, 1983)