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 条
  • [41] TRIM: A tool for triggered message sequence charts
    Sengupta, B
    Cleaveland, R
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 106 - 109
  • [42] Regular sets of infinite message sequence charts
    Kuske, D
    INFORMATION AND COMPUTATION, 2003, 187 (01) : 80 - 109
  • [43] LSCs: Breathing Life into Message Sequence Charts
    Werner Damm
    David Harel
    Formal Methods in System Design, 2001, 19 : 45 - 80
  • [44] 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 - +
  • [45] High-level Message Sequence Charts
    Mauw, S
    Reniers, MA
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 291 - 306
  • [46] 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 - +
  • [47] 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
  • [48] WHAT DO MESSAGE SEQUENCE CHARTS MEAN
    LADKIN, PB
    LEUE, S
    FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 301 - 316
  • [49] A semantic and methodological essence of message sequence charts
    Broy, M
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 213 - 256
  • [50] LSCs: Breathing life into message sequence charts
    Damm, W
    Harel, D
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 45 - 80
12345