Quantitative Modal Transition Systems
DOI10.1007/978-3-642-37635-1_3zbMATH Open1394.68254OpenAlexW1425554677MaRDI QIDQ2848870FDOQ2848870
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- General quantitative specification theories with modal transition systems
- Modal transition systems with weight intervals
- Automata, Languages and Programming
- Title not available (Why is that?)
- Distribution of Modal Transition Systems
- Dual-priced modal transition systems with time durations
- General quantitative specification theories with modalities
- Extending modal transition systems with structured labels
- Parametric and quantitative extensions of modal transition systems
- Modal specifications for probabilistic timed systems
- Modal transition system encoding of featured transition systems
- 30 years of modal transition systems: survey of extensions and analysis
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)
