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 条
  • [31] An interactive visualization for message sequence charts
    Eick, SG
    Ward, A
    FOURTH WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS, 1996, : 2 - 8
  • [32] Distributed implementation of message sequence charts
    Rouwaida Abdallah
    Loïc Hélouët
    Claude Jard
    Software & Systems Modeling, 2015, 14 : 1029 - 1048
  • [33] A framework for pathologies of message sequence charts
    Dan, Haitao
    Hierons, Robert M.
    Counsell, Steve
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (11) : 1283 - 1295
  • [34] The essence ef message sequence charts
    Broy, M
    INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2000, : 42 - 47
  • [35] Modeling with Stochastic Message Sequence Charts
    Zhou, ZH
    Sheldon, FT
    Potok, TE
    CCCT 2003, VOL 1, PROCEEDINGS: COMPUTING/INFORMATION SYSTEMS AND TECHNOLOGIES, 2003, : 454 - 461
  • [36] Stepwise design with message sequence charts
    Khendek, F
    Bourduas, S
    Vincent, D
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 19 - 34
  • [37] Distributed implementation of message sequence charts
    Abdallah, Rouwaida
    Helouet, Loic
    Jard, Claude
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (02): : 1029 - 1048
  • [38] Matching specifications for message sequence charts
    Muscholl, A
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 273 - 287
  • [39] Algebraic semantics for Complete Interaction Sequence
    Zhao, Renyi
    Narasimhan, V. Lakshmi
    Sastry, S.
    TENCON 2005 - 2005 IEEE REGION 10 CONFERENCE, VOLS 1-5, 2006, : 1909 - +
  • [40] A hierarchy of communication models for Message Sequence Charts
    Engels, AG
    Mauw, S
    Reniers, MA
    SCIENCE OF COMPUTER PROGRAMMING, 2002, 44 (03) : 253 - 292
12345