Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes.

Slawomir Lasota, Wojciech Rytter

Browse the full MFCS paper archive.