30 Years of Modal Transition Systems: Survey of Extensions and Analysis

DOI10.1007/978-3-319-63121-9_3zbMath1431.68065OpenAlexW2739324783MaRDI QIDQ5217296

Jan Křetínský

Publication date: 24 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_3

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)

Related Items (4)

Coherent modal transition systems refinement ⋮ Counterexample-guided inductive synthesis for probabilistic systems ⋮ Unnamed Item ⋮ Logical vs. behavioural specifications

This page was built for publication: 30 Years of Modal Transition Systems: Survey of Extensions and Analysis