Merging partial behaviour models with different vocabularies

DOI10.1007/978-3-642-40184-8_8MaRDI QIDQ2842099zbMATH OpenOpenAlexFDO

Authors Shoham Ben-David, Marsha Chechik, Sebastian Uchitel

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40184-8_8

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

• Observational refinement and merge for disjunctive MTSs
• Modal transition systems: composition and LTL model checking
• A Sound Observational Semantics for Modal Transition Systems
• Distribution of Modal Transition Systems
• Process algebra for modal transition systemses

Cited in

(4)

• Compositionality for quantitative specifications
• Observational refinement and merge for disjunctive MTSs
• Nondeterministic modal interfaces
• Associativity and Commutativity in Generic Merge

This page was built for publication: Merging partial behaviour models with different vocabularies

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