Deadlock prediction: Easy and difficult cases (1978)

by E M Gold
Venue:SIAM J. Computing