Parametric and Quantitative Extensions of Modal Transition Systems

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

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

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