Sign in

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

Loïc HélouëtClaude JardBenoî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