A performance study of deadlock resolution in distributed systems - Chidori Kawamura Boeheim (1991)