General quantitative specification theories with modal transition systems

DOI10.1007/s00236-014-0196-8zbMath1360.68585OpenAlexW2034111423MaRDI QIDQ404008

Axel Legay, Uli Fahrenberg

Publication date: 29 August 2014

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01087314/file/Acta-27-12.pdf

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

Sequential Relational Decomposition ⋮ A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories ⋮ Computing branching distances with quantitative games ⋮ Compositionality for quantitative specifications ⋮ A linear-time-branching-time spectrum for behavioral specification theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal transition systems with weight intervals
• Metrics for weighted transition systems: axiomatization and complexity
• Quantitative analysis of weighted transition systems
• On determinism in modal transition systems
• On using priced timed automata to achieve optimal scheduling
• Positional strategies for mean payoff games
• A theory of timed automata
• Modal event-clock specifications for timed component-based design
• Weighted modal transition systems
• A lattice-theoretical fixpoint theorem and its applications
• Dual-Priced Modal Transition Systems with Time Durations
• General Quantitative Specification Theories with Modalities
• Extending modal transition systems with structured labels
• Quantitative languages
• Timed I/O automata
• Quantitative Refinement for Weighted Modal Transition Systems
• Timed Automata Can Always Be Made Implementable
• Energy Games in Multiweighted Automata
• Modal Transition Systems: Composition and LTL Model Checking
• Simulation Distances
• Refinement and Consistency of Timed Modal Specifications
• Verification, Model Checking, and Abstract Interpretation
• CONCUR 2005 – Concurrency Theory
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: General quantitative specification theories with modal transition systems