An Algebraic Semantics of Basic Message Sequence Charts (1994)
by
S. Mauw
,
M.A. Reniers
| Venue: | The Computer Journal |
| Citations: | 68 - 12 self |
BibTeX
@ARTICLE{Mauw94analgebraic,
author = {S. Mauw and M.A. Reniers},
title = {An Algebraic Semantics of Basic Message Sequence Charts},
journal = {The Computer Journal},
year = {1994},
volume = {37},
pages = {269--277}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Message Sequence Charts are a widely used technique for the visualization of the communication 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.
Citations
| 3118 | Communicating Sequential Processes - Hoare - 1985 |
| 1225 | A calculus of communicating systems - Milner - 1980 |
| 331 | Process algebra for synchronous communication - Bergstra, Klop - 1984 |
| 183 | Structured operational semantics and bisimulation as a congruence - Groote, Vaandrager - 1992 |
| 103 | A congruence theorem for structured operational semantics with predicates - Baeten, Verhoef - 1993 |
| 72 | Recommendation Z.100. Specification and Description Language (SDL - ITU-T - 1999 |
| 35 | Towards a petri net based semantics definition for message sequence charts - Graubmann, Rudolph, et al. - 1993 |
| 20 | What do message sequence charts mean - Ladkin, Leue - 1993 |
| 13 | Towards a formal semantics of Message Sequence Charts - Man - 1993 |
