Publication:4824478

zbMath1082.68064MaRDI QIDQ4824478

Christof Löding, Yves Bontemps, Pierre-Yves Schobbens

Publication date: 1 November 2004

zbMATH Keywords

live sequence charts

Mathematics Subject Classification ID

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