Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes.

Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota

Browse the full CONCUR paper archive.