A Sound Observational Semantics for Modal Transition Systems

DOI10.1007/978-3-642-03466-4_14zbMath1250.68181OpenAlexW1524032315MaRDI QIDQ3393411

Victor Braberman, Dario Fischbein, 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)

Related Items (3)

Stuttering for Abstract Probabilistic Automata ⋮ Coherent modal transition systems refinement ⋮ Stuttering for abstract probabilistic automata

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