Deadlock prediction: Easy and difficult cases (1978)

by M Gold
Venue:SIAM Journal on Computing