Message sequence charts

Biaise Genest, Anca Muscholl, Doron Peled

Research output: Contribution to journalArticlepeer-review

19 Scopus citations


Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.

Original languageEnglish
Pages (from-to)537-558
Number of pages22
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - 2004
Externally publishedYes


Dive into the research topics of 'Message sequence charts'. Together they form a unique fingerprint.

Cite this