An algebraic semantics of basic message sequence charts

S. Mauw, M.A. Reniers

Research output: Contribution to journalArticleAcademicpeer-review

78 Citations (Scopus)


Message Sequence Charts are a widely used technique for the visualization of the communications between system components. We present a formal semantics of Basic Message Sequence Charts, exploiting techniques from process algebra. This semantics is based on the semantics of the full language as being proposed for standardization in the International Telecommunication Union.
Original languageEnglish
Pages (from-to)269-278
Number of pages9
JournalThe Computer Journal
Issue number4
Publication statusPublished - 1994


Dive into the research topics of 'An algebraic semantics of basic message sequence charts'. Together they form a unique fingerprint.

Cite this