On determinism in modal transition systems

DOI10.1016/J.TCS.2009.06.009zbMATH Open1186.68314OpenAlexW1963951244MaRDI QIDQ843096FDOQ843096

Authors: Nikola Beneš, Kim G. Larsen, Jiří Srba, Jan Křetínský 

Publication date: 29 September 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.06.009

Recommendations

• Parametric modal transition systems
• Modal transition systems: composition and LTL model checking
• 30 years of modal transition systems: survey of extensions and analysis
• Distribution of Modal Transition Systems
• Process algebra for modal transition systemses

zbMATH Keywords

consistencycompositional verificationrefinementdeterministic specificationsmodal transition systems

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)

Cited In (22)

• General quantitative specification theories with modal transition systems
• EXPTIME-completeness of thorough refinement on modal transition systems
• Modal transition systems with weight intervals
• Observational refinement and merge for disjunctive MTSs
• Constraint Markov chains
• Interface theories for concurrency and data
• Distribution of Modal Transition Systems
• A Sound Observational Semantics for Modal Transition Systems
• Modal transition systems: composition and LTL model checking
• Refinement checking on parametric modal transition systems
• Comparing disjunctive modal transition systems with an one-selecting variant
• Coherent modal transition systems refinement
• Extending modal transition systems with structured labels
• Logical vs. behavioural specifications
• Compositionality for quantitative specifications
• Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
• Simulation relations and applications in formal methods
• MoTraS: a tool for modal transition systems and their extensions
• Quantitative Modal Transition Systems
• Safe reasoning with logic LTS
• Abstract probabilistic automata
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

This page was built for publication: On determinism in modal transition systems

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