John P. T. Mo;Bryan C. K. Tang
-;-
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs
Computers and Industrial Engineering