Bisimulation Equivalence is Decidable for One-Counter Processes.

Petr Jancar

Browse the full ICALP paper archive.