Quantitative Modal Transition Systems

DOI10.1007/978-3-642-37635-1_3MaRDI QIDQ2848870zbMATHOpenAlexFDO

Authors Axel Legay, Kim G. 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)

Recommendations

• Parametric and quantitative extensions of modal transition systems
• General quantitative specification theories with modal transition systems
• Quantitative refinement for weighted modal transition systems
• Distribution of Modal Transition Systems
• On determinism in modal transition systems
• Generalized quantitative analysis of metric transition systems
• The modal \(\mu \)-calculus hierarchy over restricted classes of transition systems
• 30 years of modal transition systems: survey of extensions and analysis

Cited in

(12)

• Modal specifications for probabilistic timed systems
• Modal transition system encoding of featured transition systems
• General quantitative specification theories with modal transition systems
• Dual-priced modal transition systems with time durations
• General quantitative specification theories with modalities
• Parametric and quantitative extensions of modal transition systems
• Distribution of Modal Transition Systems
• Modal transition systems with weight intervals
• Automata, Languages and Programming
• Extending modal transition systems with structured labels
• 30 years of modal transition systems: survey of extensions and analysis
• scientific article; zbMATH DE number 1163387 (Why is no real title available?)

This page was built for publication: Quantitative Modal Transition Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848870)