Simulation and Bisimulation over One-Counter Processes.

Petr Jancar, Antonn Kucera, Faron Moller

Browse the full STACS paper archive.