Distribution of Modal Transition Systems

DOI10.1007/978-3-642-32759-9_33zbMath1372.68188OpenAlexW1574504537MaRDI QIDQ4647857

Jeff Kramer, Victor Braberman, German E. Sibay, Sebastian Uchitel

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_33

zbMATH Keywords

distributionmodal transition systems

Mathematics Subject Classification ID

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

Related Items (2)

Model Checking Value-Passing Modal Specifications ⋮ A verification-driven framework for iterative design of controllers

This page was built for publication: Distribution of Modal Transition Systems