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 条
  • [1] COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS
    LADKIN, PB
    LEUE, S
    COMPUTER JOURNAL, 1994, 37 (09): : 814 - 815
  • [2] AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS
    MAUW, S
    RENIERS, MA
    COMPUTER JOURNAL, 1994, 37 (04): : 269 - 277
  • [3] Algebraic semantics of basic message sequence charts
    Mauw, S.
    Reniers, M.A.
    Computer Journal, 1994, 37 (04): : 269 - 277
  • [4] Semantics of message sequence charts
    Letichevsky, AA
    Kapitonova, JV
    Kotlyarov, VP
    Volkov, VA
    Letichevsky, AA
    Weigert, T
    SDL 2005: MODEL DRIVEN, PROCEEDINGS, 2005, 3530 : 117 - 132
  • [5] Semantics of timed message Sequence charts
    Letichevskij, A.A.
    Kapitonova, Yu.V.
    Kotlyarov, V.P.
    Letichevskij, A.A.
    Volkov, V.A.
    Kibernetika i Sistemnyj Analiz, 2002, (04): : 3 - 32
  • [6] Instantiation semantics for message sequence charts
    Padilla, Gerardo
    Bastani, Farokh B.
    de Oca, Carlos Montes
    Serrano, Miguel A.
    SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, PROCEEDINGS, 2006, : 191 - +
  • [7] Semantics of Timed Message Sequence Charts
    A. A. Letichevskii
    Yu. V. Kapitonova
    V. P. Kotlyarov
    A. A. Letichevskii
    V. A. Volkov
    Cybernetics and Systems Analysis, 2002, 38 (4) : 475 - 484
  • [8] A process-based semantics for Message Sequence Charts with data
    Chen, CA
    Kalvala, S
    Sinclair, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 130 - 139
  • [9] Extended Message Sequence Charts with time-interval semantics
    Silva, PSM
    FIFTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING - PROCEEDINGS: TIME-98, 1998, : 37 - 44
  • [10] Basic protocols, message sequence charts, and the verification of requirements specifications
    Letichevsky, A
    Kapitonova, J
    Letichevsky, A
    Volkov, V
    Baranov, S
    Weigert, T
    COMPUTER NETWORKS, 2005, 49 (05) : 661 - 675
12345