Techniques for Decidability and Undecidability of Bisimilarity.

Petr Jancar, Faron Moller

Browse the full CONCUR paper archive.