Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures. - Akikazu Izumi; Tadashi Dohi; Naoto Kaio (PRDC, 2010)