Colin Stirling. Decidability of bisimulation equivalence for normed pushdown processes. SIGACT News, 30(3):19-21, 1999. [doi]
@article{Stirling99-0, title = {Decidability of bisimulation equivalence for normed pushdown processes}, author = {Colin Stirling}, year = {1999}, doi = {10.1145/333623.333624}, url = {http://doi.acm.org/10.1145/333623.333624}, researchr = {https://researchr.org/publication/Stirling99-0}, cites = {0}, citedby = {0}, journal = {SIGACT News}, volume = {30}, number = {3}, pages = {19-21}, }