Modal transition systems with weight intervals
DOI10.1016/J.JLAP.2012.03.008zbMATH Open1243.68215OpenAlexW1987070417MaRDI QIDQ444490FDOQ444490
Authors: Line Juhl, Jiří Srba, Kim G. Larsen 
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.008
Recommendations
- Weighted modal transition systems
- Quantitative refinement for weighted modal transition systems
- Distribution of Modal Transition Systems
- Parametric modal transition systems
- Parametric and quantitative extensions of modal transition systems
- Quantitative analysis of weighted transition systems
- Quantitative Modal Transition Systems
- Reasoning about bounds in weighted transition systems
- Structural Operational Semantics for Weighted Transition Systems
- A complete approximation theory for weighted transition systems
model checkingrefinementaction-based CTLdeterministic specificationsmodal transition systemsweighted transition systems
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- ACTLW -- an action-based computation tree logic with unless operator
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of weighted automata
- Three Partition Refinement Algorithms
- CCS expressions, finite state processes, and three problems of equivalence
- Title not available (Why is that?)
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
- On determinism in modal transition systems
- Refinement and Consistency of Timed Modal Specifications
- Title not available (Why is that?)
- Automata, Languages and Programming
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- 20 years of modal and mixed specifications.
- Modal Abstractions of Concurrent Behaviour
- Mixed Transition Systems Revisited
- Title not available (Why is that?)
- Comparing disjunctive modal transition systems with an one-selecting variant
Cited In (10)
- General quantitative specification theories with modal transition systems
- Distribution of Modal Transition Systems
- Title not available (Why is that?)
- Quantitative refinement for weighted modal transition systems
- Dual-priced modal transition systems with time durations
- Refinement checking on parametric modal transition systems
- Weighted modal transition systems
- Extending modal transition systems with structured labels
- Parametric and quantitative extensions of modal transition systems
- Modal transition system encoding of featured transition systems
Uses Software
This page was built for publication: Modal transition systems with weight intervals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444490)
