"Decidability of Bisimilarity for One-Counter Processes."

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