Decidability of Weak Simulation on One-counter Nets



Hofman, Piotr, Mayr, Richard, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Soc, IEEE Comp
(2013) Decidability of Weak Simulation on One-counter Nets. .

[img] Text
1304.4104v2.pdf - OA Published Version

Download (514kB)
[img] Text
HMT2013.pdf - Accepted Version

Download (473kB)
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Automata theory, One-counter machines
Depositing User: Symplectic Admin
Date Deposited: 21 Jan 2019 15:28
Last Modified: 23 Aug 2021 12:15
DOI: 10.1109/LICS.2013.26
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3031036