Alternating Vector Addition Systems with States
DOI10.1007/978-3-662-44522-8_19zbMath1425.68290OpenAlexW7162165MaRDI QIDQ2922017
Jean-Baptiste Courtois, Sylvain Schmitz
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44522-8_19
Analysis of algorithms and problem complexity (68Q25) Applications of game theory (91A80) 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 (7)
This page was built for publication: Alternating Vector Addition Systems with States