Quantitative Modal Transition Systems

DOI10.1007/978-3-642-37635-1_3zbMath1394.68254OpenAlexW1425554677MaRDI QIDQ2848870

Axel Legay, Kim Guldstrand Larsen

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

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

zbMATH Keywords

survey

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

Modal transition system encoding of featured transition systems

This page was built for publication: Quantitative Modal Transition Systems