๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Compositional message sequence charts

โœ Scribed by Elsa L. Gunter; Anca Muscholl; Doron Peled

Book ID
106245331
Publisher
Springer
Year
2002
Tongue
English
Weight
367 KB
Volume
5
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Semantics of Timed Message Sequence Char
Semantics of Timed Message Sequence Charts
โœ A.A. Letichevskii; Yu.V. Kapitonova; V.P. Kotlyarov; A.A. Letichevskii; V.A. Vol ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer US ๐ŸŒ English โš– 61 KB
Specification and Verification using Mes
Specification and Verification using Message Sequence Charts
โœ Doron Peled ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 125 KB

Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.