On the Computational Complexity of Verifying One-Counter Processes.

Stefan Gller, Richard Mayr, Anthony Widjaja To

Browse the full LICS paper archive.