Publication:4824478
From MaRDI portal
zbMath1082.68064MaRDI QIDQ4824478
Christof Löding, Yves Bontemps, Pierre-Yves Schobbens
Publication date: 1 November 2004
91A80: Applications of game theory
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
Related Items
On the Power of Play-Out for Scenario-Based Programs, Some Results on the Expressive Power and Complexity of LSCs, Diagnostic Information for Realizability, The computational complexity of scenario-based agent verification and design