Distributed Deadlock DetectionK. Mani ChandyJayadev Misraet al.1983ACM Transactions on Computer Systems (TOCS)