Timed Concurrent Game Structures
From MaRDI portal
Publication:3525654
DOI10.1007/978-3-540-74407-8_30zbMath1151.68510OpenAlexW1536042062MaRDI QIDQ3525654
Ghassan Oreiby, Nicolas Markey, Thomas Brihaye, François Laroussinie
Publication date: 18 September 2008
Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_30
Applications of game theory (91A80) Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Model Checking Real-Time Systems ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ On timed alternating simulation for concurrent timed games ⋮ Natural strategic ability
Uses Software
This page was built for publication: Timed Concurrent Game Structures