General Quantitative Specification Theories with Modalities

DOI10.1007/978-3-642-30642-6_3zbMath1360.68576OpenAlexW1880384270MaRDI QIDQ2907483

Axel Legay, Uli Fahrenberg, Sebastian S. Bauer, Claus Thrane

Publication date: 10 September 2012

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30642-6_3

Mathematics Subject Classification ID

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 (5)

General quantitative specification theories with modal transition systems ⋮ Computing branching distances with quantitative games ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ Compositionality for quantitative specifications

This page was built for publication: General Quantitative Specification Theories with Modalities