Complexity of the deadlock avoidance problem (1977)

by T Araki, Y Sugiyama, T Kasami, J Okui
Venue:in Proceedings of 2nd IBM Symposium on the Mathematical Foundations of Computer Science