On the Semantics of Message Sequence Charts.

Peter B. Ladkin Stefan Leue

Published in: FBT (1992)

Keyphrases

email
logic programming
formal semantics
conceptual model
specification language
high level
video sequences
data model
semantic information
communication channels
long sequences