Decidability of Weak Simulation on One-Counter Nets.

Piotr Hofman, Richard Mayr, Patrick Totzke

Browse the full LICS paper archive.