scientific article; zbMATH DE number 2112979
From MaRDI portal
Publication:4824478
zbMath1082.68064MaRDI QIDQ4824478
Christof Löding, Yves Bontemps, Pierre-Yves Schobbens
Publication date: 1 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (4)
The computational complexity of scenario-based agent verification and design ⋮ On the Power of Play-Out for Scenario-Based Programs ⋮ Some Results on the Expressive Power and Complexity of LSCs ⋮ Diagnostic Information for Realizability
This page was built for publication:
