An event structure based semantics for high-level message sequence charts

DOI10.1017/S0960129501003589MaRDI QIDQ4792941zbMATH OpenOpenAlexFDO

Authors Loïc Hélouët, Claude Jard, Benoît Caillaud

Publication date 6 April 2003

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129501003589

zbMATH Keywords

high-level message sequence charts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Formal techniques for analysing scenarios using message sequence charts
• scientific article; zbMATH DE number 1307655
• Causal Message Sequence Charts
• scientific article; zbMATH DE number 1701776
• Timed semantics of message sequence charts based on timed automata

Cited in

(7)

• Quantitative analysis of communication scenarios
• Delayed-choice semantics for pomset families and message sequence graphs
• Oclets – Scenario-Based Modeling with Petri Nets
• Formal techniques for analysing scenarios using message sequence charts
• High-level message sequence charts and projections.
• Realizability of high-level message sequence charts: closing the gaps
• Event structure semantics for multiparty sessions

This page was built for publication: An event structure based semantics for high-level message sequence charts

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