%0 Journal Article %1 journals/jacm/AcetoH92 %A Aceto, Luca %A Hennessy, Matthew %D 1992 %J J. ACM %K dblp %N 1 %P 147-187 %T Termination, Deadlock, and Divergence. %U http://dblp.uni-trier.de/db/journals/jacm/jacm39.html#AcetoH92 %V 39

@article{journals/jacm/AcetoH92, added-at = {2018-11-06T00:00:00.000+0100}, author = {Aceto, Luca and Hennessy, Matthew}, biburl = {https://www.bibsonomy.org/bibtex/2ce9e27dade224a20553009140234198b/dblp}, ee = {https://doi.org/10.1145/147508.147527}, interhash = {a5fa3e001706a0cd84fa6288e718efc1}, intrahash = {ce9e27dade224a20553009140234198b}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {147-187}, timestamp = {2018-11-07T12:10:21.000+0100}, title = {Termination, Deadlock, and Divergence.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm39.html#AcetoH92}, volume = 39, year = 1992 }