Determinization of one-counter nets

DOI10.4230/LIPICS.CONCUR.2022.18MaRDI QIDQ6587125zbMATH OpenFDO

Authors Shaull Almagor, Asaf Yeshurun

Publication date 13 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2022.18

zbMATH Keywords

automatadeterminizationone-counter netsemilinearvector addition system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(4)

• Determinization of integral discounted-sum automata is decidable
• Dimension-minimality and primality of counter nets
• Two-way one-counter nets revisited
• Languages of boundedly-ambiguous vector addition systems with states

This page was built for publication: Determinization of one-counter nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587125)