@InProceedings{CHL11concur, author = {Wojciech Czerwi{\'n}ski and Piotr Hofman and S{\l}awomir Lasota}, title = {Decidability of branching bisimulation on normed commutative context-free processes}, booktitle = {Proc. CONCUR'11}, year = 2011, volume = {6901}, pages = {528-542}, series = {LNCS}, publisher = {Springer-Verlag} }