"Decidability of Bisimilarity for One-Counter Processes."

Petr Jancar (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics