An event structure based semantics for high-level message sequence charts
Loı̈c Hélouët, Claude Jard, Benoı̂t Caillaud · Mathematical Structures in Computer Science · 2002
This paper details a partial order semantics for families of scenarios represented by High-Level Message Sequence Charts (HMSCs): graph grammars generating event structures are used to represent HMSCs. A decision procedure for HMSC equivalence is then described. This can be considered as a first step towards the formal manipulation of scenarios.