Parametric and Quantitative Extensions of Modal Transition Systems
From MaRDI portal
Publication:5170745
DOI10.1007/978-3-642-54848-2_6zbMath1416.68121OpenAlexW199692467MaRDI QIDQ5170745
Axel Legay, Uli Fahrenberg, Louis-Marie Traonouez, Kim Guldstrand Larsen
Publication date: 24 July 2014
Published in: From Programs to Systems. The Systems perspective in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54848-2_6
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
Specification Theories for Probabilistic and Real-Time Systems ⋮ Logical vs. behavioural specifications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modal transition systems with weight intervals
- Metrics for weighted transition systems: axiomatization and complexity
- Simulation distances
- A refinement calculus for specifications in Hennessy-Milner logic with recursion
- Comparing disjunctive modal transition systems with an one-selecting variant
- A context dependent equivalence between processes
- Model checking discounted temporal properties
- General Quantitative Specification Theories with Modalities
- Extending modal transition systems with structured labels
- Process Algebra for Modal Transition Systemses
- Quantitative Refinement for Weighted Modal Transition Systems
- Parametric Modal Transition Systems
- Modal Abstractions of Concurrent Behaviour
- On Modal Refinement and Consistency
- A Complete Axiomatic System for a Process-Based Spatial Logic
- A logic for the description of non-deterministic programs and their properties
- Specification Theories for Probabilistic and Real-Time Systems
This page was built for publication: Parametric and Quantitative Extensions of Modal Transition Systems