Concurrent Games on VASS with Inhibition

DOI10.1007/978-3-642-32940-1_5zbMath1364.68275OpenAlexW2166972312MaRDI QIDQ2914363

Béatrice Bérard, Nathalie Sznajder, Serge Haddad, Mathieu Sassolas

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_5

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Unnamed Item, Partial order reduction for reachability games, Playing with Repetitions in Data Words Using Energy Games