Sciweavers

FORTE
1998
14 years 1 months ago
An Algebraic Semantics for Message Sequence Chart Documents
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike...