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 条
  • [41] Regular sets of infinite message sequence charts
    Kuske, D
    INFORMATION AND COMPUTATION, 2003, 187 (01) : 80 - 109
  • [42] LSCs: Breathing Life into Message Sequence Charts
    Werner Damm
    David Harel
    Formal Methods in System Design, 2001, 19 : 45 - 80
  • [43] Local testing of message sequence charts is difficult
    Bhateja, Puneet
    Gastin, Paul
    Mukund, Madhavan
    Kumar, K. Narayan
    FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 2007, 4639 : 76 - +
  • [44] High-level Message Sequence Charts
    Mauw, S
    Reniers, MA
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 291 - 306
  • [45] Detecting races in ensembles of message sequence charts
    Elkind, Edith
    Genest, Blaise
    Peled, Doron
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 420 - +
  • [46] Automata and logics for timed message sequence charts
    Akshay, S.
    Bollig, Benedikt
    Gastin, Paul
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 290 - 302
  • [47] WHAT DO MESSAGE SEQUENCE CHARTS MEAN
    LADKIN, PB
    LEUE, S
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 301 - 316
  • [48] A semantic and methodological essence of message sequence charts
    Broy, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 213 - 256
  • [49] LSCs: Breathing life into message sequence charts
    Damm, W
    Harel, D
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 45 - 80
  • [50] QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
    Elkind, Edith
    Genest, Blaise
    Peled, Doron
    Spoletini, Paola
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (02) : 211 - 233
12345