Comparing disjunctive modal transition systems with an one-selecting variant

DOI10.1016/J.JLAP.2008.05.003MaRDI QIDQ953529zbMATH OpenOpenAlexFDO

Authors Harald Fecher, Heiko Schmidt

Publication date 6 November 2008

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.2008.05.003

zbMATH Keywords

abstractionrefinementexpressivenessunderspecificationbranching time

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process algebra for modal transition systemses
• Modal transition systems: composition and LTL model checking
• Observational refinement and merge for disjunctive MTSs
• Parametric modal transition systems
• On determinism in modal transition systems

Cites work

• scientific article; zbMATH DE number 1953032 (Why is no real title available?)
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• scientific article; zbMATH DE number 1886073 (Why is no real title available?)
• scientific article; zbMATH DE number 898449 (Why is no real title available?)
• Automata for the modal \(\mu \)-calculus and related results
• Bisimulation through probabilistic testing
• Characteristic \(\mu\)-calculus formulas for underspecified transition systems
• Forward and backward simulations. I. Untimed Systems
• More Precise Partition Abstractions
• Program development by stepwise refinement
• Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise
• Results on the propositional \(\mu\)-calculus
• Testing equivalence as a bisimulation equivalence
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(12)

• Abstraction in fixpoint logic
• Refinement checking on parametric modal transition systems
• Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• Complexity of Decision Problems for Mixed and Modal Specifications
• Nondeterministic modal interfaces
• EXPTIME-complete decision problems for modal and mixed specifications
• Modal transition system encoding of featured transition systems
• Logical vs. behavioural specifications
• EXPTIME-completeness of thorough refinement on modal transition systems
• Parametric and quantitative extensions of modal transition systems
• Modal transition systems with weight intervals

This page was built for publication: Comparing disjunctive modal transition systems with an one-selecting variant

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