General quantitative specification theories with modal transition systems

DOI10.1007/S00236-014-0196-8MaRDI QIDQ404008zbMATH OpenOpenAlexFDO

Authors Uli Fahrenberg, Axel Legay

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)

Recommendations

• General quantitative specification theories with modalities
• Quantitative refinement for weighted modal transition systems
• Compositionality for quantitative specifications
• Quantitative Modal Transition Systems
• Weighted modal transition systems

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• A theory of timed automata
• CONCUR 2005 – Concurrency Theory
• Dual-priced modal transition systems with time durations
• Energy games in multiweighted automata
• Extending modal transition systems with structured labels
• Formal Modeling and Analysis of Timed Systems
• General quantitative specification theories with modalities
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1107491 (Why is no real title available?)
• scientific article; zbMATH DE number 2038772 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• Infinite dimensional analysis. A hitchhiker's guide.
• Metrics for weighted transition systems: axiomatization and complexity
• Modal event-clock specifications for timed component-based design
• Modal transition systems with weight intervals
• Modal transition systems: composition and LTL model checking
• On determinism in modal transition systems
• On using priced timed automata to achieve optimal scheduling
• Positional strategies for mean payoff games
• Quantitative analysis of weighted transition systems
• Quantitative languages
• Quantitative refinement for weighted modal transition systems
• Refinement and Consistency of Timed Modal Specifications
• Simulation distances
• The quantitative linear-time-branching-time spectrum
• Timed Automata Can Always Be Made Implementable
• Timed I/O automata: a complete specification theory for real-time systems
• Verification, Model Checking, and Abstract Interpretation
• Weighted modal transition systems

Cited in

(10)

• Compositionality for quantitative specifications
• Computing branching distances with quantitative games
• Weighted modal transition systems
• A linear-time-branching-time spectrum for behavioral specification theories
• Quotient of acceptance specifications under reachability constraints
• Quantitative Modal Transition Systems
• General quantitative specification theories with modalities
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
• Quantitative refinement for weighted modal transition systems
• A quantitative completeness analysis for property sets

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

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