COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS - REPLY

被引：0
|
作者：
MAUW, S
RENIERS, MA
机构：
来源：
COMPUTER JOURNAL | 1994年 / 37卷 / 09期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：815 / 817
页数：3
相关论文
共 50 条
  • [21] Inference of message sequence charts
    Alur, R
    Etessami, K
    Yannakakis, M
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (07) : 623 - 633
  • [22] Products of message sequence charts
    Darondeau, Philippe
    Genest, Blaise
    Helouet, Loiec
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2008, 4962 : 458 - 473
  • [23] Symbolic Message Sequence Charts
    Roychoudhury, Abhik
    Goel, Ankit
    Sengupta, Bikram
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (02)
  • [24] An analyzer for message sequence charts
    Alur, R
    Holzmann, GJ
    Peled, D
    SOFTWARE-CONCEPTS AND TOOLS, 1996, 17 (02): : 70 - 77
  • [25] Deciding properties for message sequence charts
    Muscholl, A
    Peled, D
    Su, ZD
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1998, 1378 : 226 - 242
  • [26] Race conditions in message sequence charts
    Chen, CA
    Kalvala, S
    Sinclair, J
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3780 : 195 - 211
  • [27] A simulation model for message sequence charts
    Hélouët, L
    SDL'99: THE NEXT MILLENNIUM, 1999, : 473 - 488
  • [28] Deciding properties of message sequence charts
    Muscholl, A
    Peled, D
    SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 43 - 65
  • [29] Interactive visualization for message sequence charts
    Eick, Stephen G.
    Ward, Amy
    Program Comprehension, Workshop Proceedings, 1996, : 2 - 8
  • [30] Model checking of message sequence charts
    Alur, R
    Yannakakis, M
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 114 - 129
12345