CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897499
DOI10.1007/11539452zbMath1134.68438MaRDI QIDQ5897499
Hugo Gimbert, Wiesław Zielonka
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
91A05: 2-person games
91A43: Games involving graphs
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Exploiting Game Theory for Analysing Justifications, First-cycle games, Exploring the boundary of half-positionality, Extending finite-memory determinacy to multi-player games, Energy parity games, Average-energy games, On Memoryless Quantitative Objectives, Admissible Strategies in Infinite Games over Graphs, Optimal strategy synthesis for request-response games, Computing Game Values for Crash Games