Bisimilarity of One-Counter Processes Is PSPACE-Complete.

Stanislav Bhm, Stefan Gller, Petr Jancar

Browse the full CONCUR paper archive.