Mitchell Flatebo Ajoy Kumar Datta Distributed Deadlock Detection Algorithms. 21-30 1992 2 Parallel Processing Letters db/journals/ppl/ppl2.html#FlateboD92 http://dx.doi.org/10.1142/S0129626492000143