COMPOSITIONAL SEMANTICS FOR REAL-TIME DISTRIBUTED COMPUTING

被引：21
|
作者：
KOYMANS, R [1 ]
SHYAMASUNDAR, RK [1 ]
DEROEVER, WP [1 ]
GERTH, R [1 ]
ARUNKUMAR, S [1 ]
机构：
[1] TATA INST FUNDAMENTAL RES,NCSDCT,BOMBAY 400005,INDIA
来源：
INFORMATION AND COMPUTATION | 1988年 / 79卷 / 03期
关键词：
D O I：
10.1016/0890-5401(88)90020-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：210 / 256
页数：47
相关论文
共 50 条
  • [1] A compositional real-time semantics of STATEMATE designs
    Damm, W
    Josko, B
    Hungar, H
    Pnueli, A
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 186 - 238
  • [2] COMPOSITIONAL SEMANTICS OF A REAL-TIME PROTOTYPING LANGUAGE
    KRAMER, B
    LUQI
    BERZINS, V
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (05) : 453 - 477
  • [3] SEMANTICS OF REAL-TIME DISTRIBUTED PROGRAMS
    GOSWAMI, A
    JOSEPH, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 292 - 306
  • [4] REAL-TIME DISTRIBUTED COMPUTING: CHOPS
    Lawlor, Sean
    Diez, Patrick
    Ferrie, Frank
    2012 25TH IEEE CANADIAN CONFERENCE ON ELECTRICAL & COMPUTER ENGINEERING (CCECE), 2012,
  • [5] Distributed real-time computing with Harness
    Di Saverio, Emanuele
    Cesati, Marco
    Di Biagio, Christian
    Pennella, Guido
    Engelmann, Christian
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2007, 4757 : 281 - +
  • [6] PARALLEL AND DISTRIBUTED REAL-TIME COMPUTING
    REEVES, DS
    SHIN, KG
    IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1994, 2 (04): : 8 - 8
  • [7] A COMPOSITIONAL SEMANTICS FOR FAULT-TOLERANT REAL-TIME SYSTEMS
    COENEN, J
    HOOMAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 33 - 51
  • [8] COMPOSITIONAL VERIFICATION OF A DISTRIBUTED REAL-TIME ARBITRATION PROTOCOL
    HOOMAN, J
    REAL-TIME SYSTEMS, 1994, 6 (02) : 173 - 205
  • [9] COMPOSITIONAL PRIORITY SPECIFICATION IN REAL-TIME DISTRIBUTED SYSTEMS
    SHYAMASUNDAR, RK
    LIU, LY
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 1992, 17 : 75 - 93
  • [10] A DISTRIBUTED REAL-TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS
    KRISHNAN, P
    VOLZ, R
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 41 - 50
12345