Ju Gyun Kim, "An Algorithmic Approach on Deadlock Detection for Enhanced Parallelism in Multiprocessing Systems", Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on vol. 00 no. , p. 233, , 1997