Hoon Oh: Application of a heuristic search to the deadlock avoidance algorithm which achieves the high concurrency. CATA 2001: 35-39