Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota. Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. Theory Comput. Syst., 55(1):136-169, 2014. [doi]
@article{CzerwinskiHL14,
title = {Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes},
author = {Wojciech Czerwinski and Piotr Hofman and Slawomir Lasota},
year = {2014},
doi = {10.1007/s00224-013-9505-9},
url = {http://dx.doi.org/10.1007/s00224-013-9505-9},
researchr = {https://researchr.org/publication/CzerwinskiHL14},
cites = {0},
citedby = {0},
journal = {Theory Comput. Syst.},
volume = {55},
number = {1},
pages = {136-169},
}