Ivana Cerná, Mojmír Kretínský, Antonín Kucera. Bisimilarity is decidable in the union of normed BPA and normed BPP processes. Electronic Notes in Theoretical Computer Science, 5:14, 1996. [doi]
@article{CernaKK96,
title = {Bisimilarity is decidable in the union of normed BPA and normed BPP processes},
author = {Ivana Cerná and Mojmír Kretínský and Antonín Kucera},
year = {1996},
url = {http://www.elsevier.com/gej-ng/31/29/23/30/23/show/Products/notes/index.htt#003},
researchr = {https://researchr.org/publication/CernaKK96},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {5},
pages = {14},
}