Luca Aceto Matthew Hennessy Termination, Deadlock, and Divergence. 147-187 1992 39 J. ACM 1 db/journals/jacm/jacm39.html#AcetoH92 http://doi.acm.org/10.1145/147508.147527