Specification and Verification using Message Sequence Charts

Doron Peled. Specification and Verification using Message Sequence Charts. Electronic Notes in Theoretical Computer Science, 65(7):51-64, 2002. [doi]

Abstract

Abstract is missing.