Robustness of Structurally Equivalent Concurrent Parity Games
From MaRDI portal
Publication:2892776
DOI10.1007/978-3-642-28729-9_18zbMath1352.68178arXiv1107.2009MaRDI QIDQ2892776
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1107.2009
91A05: 2-person games
91A15: Stochastic games, stochastic differential games
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)