Distribution of Modal Transition Systems

DOI10.1007/978-3-642-32759-9_33MaRDI QIDQ4647857zbMATH OpenOpenAlexFDO

Authors German E. Sibay, V. Braberman, Jeff Kramer, 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)

Recommendations

• A logical study of distributed transition systems
• Parametric and quantitative extensions of modal transition systems
• Quantitative Modal Transition Systems
• On determinism in modal transition systems
• Weighted modal transition systems
• Modal transition systems with weight intervals
• scientific article; zbMATH DE number 4119639
• Parametric modal transition systems
• Quantitative refinement for weighted modal transition systems

Cited in

(10)

• A verification-driven framework for iterative design of controllers
• Modal transition system encoding of featured transition systems
• Merging partial behaviour models with different vocabularies
• Quantitative Modal Transition Systems
• Distribution of behaviour into parallel communicating subsystems
• Model Checking Value-Passing Modal Specifications
• Modal transition systems with weight intervals
• Bounded analysis and decomposition for behavioural descriptions of components
• Property-preserving parallel decomposition
• On determinism in modal transition systems

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

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