Specification and Verification using Message Sequence Charts
Doron Peled · Electronic Notes in Theoretical Computer Science · 2002
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.