Termination, deadlock, and divergence (0)

by L Aceto, M Hennessy
Venue:Journal of the ACM