Bisimulation Equivalence is Decidable for all Context-Free Processes.

Sren Christensen, Hans Httel, Colin Stirling

Browse the full CONCUR paper archive.