Detecting deadlocks in concurrent systems (1998)

by L Fajstrup, E Goubault, M Raussen
Venue:In Proc. of CONCUR’98