Luca Aceto, Matthew Hennessy. Termination, Deadlock, and Divergence. Journal of the ACM, 39(1):147-187, 1992. [doi]
@article{AcetoH92, title = {Termination, Deadlock, and Divergence}, author = {Luca Aceto and Matthew Hennessy}, year = {1992}, doi = {10.1145/147508.147527}, url = {http://doi.acm.org/10.1145/147508.147527}, tags = {termination}, researchr = {https://researchr.org/publication/AcetoH92}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {39}, number = {1}, pages = {147-187}, }