An algebraic semantics of basic message sequence charts

S. Mauw, M.A. Reniers

Research output: Contribution to journalArticleAcademicpeer-review

78 Citations (Scopus)

Abstract

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
Volume37
Issue number4
DOIs
Publication statusPublished - 1994

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

Cite this