Detecting deadlocks in concurrent systems (0)

by L Fajstrup, E Goubault, M Raußen