Abstract
The document presents a formal semantics of Message Sequence Charts using techniques from
process algebra. The semantic constructions are introduced incrementally. This means that first
the semantics of Basic Message Sequence Charts is given, and that subsequently additional features
are added until the complete language is covered. Examples are added which explain the use of
the semantic functions.
| Original language | English |
|---|---|
| Title of host publication | Annex B to ITU Recommendation Z.120 |
| Editors | xx ITU |
| Publisher | ITU |
| Number of pages | 50 |
| Publication status | Published - 1995 |