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

DOI10.1017/S0960129501003589zbMath1009.68070OpenAlexW2045827171MaRDI QIDQ4792941

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

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)

Related Items

Quantitative Analysis of Communication Scenarios ⋮ Oclets – Scenario-Based Modeling with Petri Nets