The Reachability Problem for Two-Dimensional Vector Addition Systems with States
From MaRDI portal
Publication:5056423
DOI10.1145/3464794zbMath1499.68219OpenAlexW3193574081MaRDI QIDQ5056423
Ranko Lazić, Stefan Göller, Patrick Totzke, Matthias Englert, Christoph Haase, Michael Blondin, Pierre McKenzie, Alain Finkel
Publication date: 8 December 2022
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3464794
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (1)
This page was built for publication: The Reachability Problem for Two-Dimensional Vector Addition Systems with States
