@article{CzerwinskiHofmanLasota:TCS:2003,
    doi = {10.1007/s00224-013-9505-9},
    url = {https://doi.org/10.1007%2Fs00224-013-9505-9},
    year = {2013},
    month = {sep},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {55},
    number = {1},
    pages = {136--169},
    author = {Wojciech Czerwi{\'{n}}ski and Piotr Hofman and S{{\l}}awomir Lasota},
    title = {Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes},
    journal = {Theory of Computing Systems},
    date-added = {2023-11-10 14:18:40 +0100}
}

@article{CzerwinskiHofmanLasota:TCS:2003, doi = {10.1007/s00224-013-9505-9}, url = {https://doi.org/10.1007%2Fs00224-013-9505-9}, year = {2013}, month = {sep}, publisher = {Springer Science and Business Media {LLC}}, volume = {55}, number = {1}, pages = {136--169}, author = {Wojciech Czerwi{\'{n}}ski and Piotr Hofman and S{{\l}}awomir Lasota}, title = {Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes}, journal = {Theory of Computing Systems}, date-added = {2023-11-10 14:18:40 +0100} }