High-level message sequence charts and projections.

DOI10.1007/B11938MaRDI QIDQ5900574zbMATH OpenOpenAlexFDO

Authors Blaise Genest, Loïc Hélouët, Anca Muscholl

Publication date 30 March 2010

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

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Infinite-state high-level MSCs: model-checking and realizability
• An event structure based semantics for high-level message sequence charts
• scientific article; zbMATH DE number 1701776
• Realizability of high-level message sequence charts: closing the gaps
• scientific article; zbMATH DE number 2086413

Cited in

(3)

• Event Correlation with Boxed Pomsets
• scientific article; zbMATH DE number 2043471 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: High-level message sequence charts and projections.

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