An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes.

Olaf Burkart, Didier Caucal, Bernhard Steffen

Browse the full MFCS paper archive.