On boundedness problems for pushdown vector addition systems

DOI10.1007/978-3-319-24537-9_10zbMath1471.68170arXiv1507.07362OpenAlexW2247003927MaRDI QIDQ1675154

Jérôme Leroux, Grégoire Sutre, Patrick Totzke

Publication date: 27 October 2017

Full work available at URL: https://arxiv.org/abs/1507.07362

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (3)

Unnamed Item ⋮ A lower bound for the coverability problem in acyclic pushdown VAS ⋮ On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

This page was built for publication: On boundedness problems for pushdown vector addition systems