The formalization of Message Sequence Charts

S. Mauw

Research output: Contribution to journalArticleAcademicpeer-review

25 Citations (Scopus)


We discuss the state of affairs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
Original languageEnglish
Pages (from-to)1643-1657
Number of pages15
JournalComputer Networks and ISDN Systems
Issue number12
Publication statusPublished - 1996


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

Cite this