Simulation Is Decidable for One-Counter Nets (Extended Abstract).

Parosh Aziz Abdulla, Karlis Cerans

Browse the full CONCUR paper archive.