Algebraic Semantics of Message Sequence Charts

S. Mauw, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


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 languageEnglish
Title of host publicationAnnex B to ITU Recommendation Z.120
Editorsxx ITU
Number of pages50
Publication statusPublished - 1995


Dive into the research topics of 'Algebraic Semantics of Message Sequence Charts'. Together they form a unique fingerprint.

Cite this