Algebraic semantics of basic message sequence charts

被引：0
|
作者：
Mauw, S. [1 ]
Reniers, M.A. [1 ]
机构：
[1] Eindhoven Univ of Technology, Eindhoven, Netherlands
来源：
Computer Journal | 1994年 / 37卷 / 04期
关键词：
Algebra;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：269 / 277
相关论文
共 50 条
  • [1] AN ALGEBRAIC SEMANTICS OF BASIC MESSAGE SEQUENCE CHARTS
    MAUW, S
    RENIERS, MA
    COMPUTER JOURNAL, 1994, 37 (04): : 269 - 277
  • [2] COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS
    LADKIN, PB
    LEUE, S
    COMPUTER JOURNAL, 1994, 37 (09): : 814 - 815
  • [3] COMMENTS ON A PROPOSED SEMANTICS FOR BASIC MESSAGE SEQUENCE CHARTS - REPLY
    MAUW, S
    RENIERS, MA
    COMPUTER JOURNAL, 1994, 37 (09): : 815 - 817
  • [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