scientific article
From MaRDI portal
Publication:2911616
DOI10.4230/LIPIcs.FSTTCS.2011.103zbMath1246.68153MaRDI QIDQ2911616
Claus Thrane, Axel Legay, Uli Fahrenberg
Publication date: 31 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (11)
General quantitative specification theories with modal transition systems ⋮ Computing branching distances with quantitative games ⋮ The quantitative linear-time-branching-time spectrum ⋮ A quantified coalgebraic van Benthem theorem ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Weighted modal transition systems ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositionality for quantitative specifications
This page was built for publication:
