An Event Structure Based Semantics for High-Level Message Sequence Charts.

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

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

high level
low level
semantic information
formal semantics
temporal structure
temporal relations
semantic structure
keywords
higher level
news articles
temporal patterns
logical structure