Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Journal of Parallel and Distributed Computing - United States
doi 10.1006/jpdc.1995.1150