论文信息 - Correspondence Comments on a Proposed Semantics for Basic Message Sequence Charts - 字舞流文

Correspondence Comments on a Proposed Semantics for Basic Message Sequence Charts

Peter B. Ladkin | Stefan Leue

[1] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .

[2] Peter B. Ladkin,et al. Four issues concerning the semantics of Message Flow Graphs , 1994, FORTE.

[3] Peter B. Ladkin,et al. What Do Message Sequence Charts Mean? , 1993, FORTE.