A Sound Observational Semantics for Modal Transition Systems

DOI10.1007/978-3-642-03466-4_14MaRDI QIDQ3393411zbMATH OpenOpenAlexFDO

Authors Dario Fischbein, V. Braberman, Sebastian Uchitel

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_14

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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

• An inductive approach for modal transition system refinement
• Process algebra for modal transition systemses
• 30 years of modal transition systems: survey of extensions and analysis
• On determinism in modal transition systems
• Parametric modal transition systems

Cited in

(7)

• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Observational refinement and merge for disjunctive MTSs
• Stuttering for abstract probabilistic automata
• Merging partial behaviour models with different vocabularies
• An inductive approach for modal transition system refinement
• Stuttering for abstract probabilistic automata
• Coherent modal transition systems refinement

This page was built for publication: A Sound Observational Semantics for Modal Transition Systems

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