P. Rondogiannis;M. H. M. Cheng
-;-
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation