An Algebraic Semantics of Basic Message Sequence Charts
Open Access
- 1 January 1994
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 37 (4) , 269-277
- https://doi.org/10.1093/comjnl/37.4.269
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.Keywords
This publication has 0 references indexed in Scilit: