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]
No references recorded for this publication.
No citations of this publication recorded.