A DISTRIBUTED REAL-TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS

被引：0
|
作者：
KRISHNAN, P
VOLZ, R
机构：
来源：
REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：41 / 50
页数：10
相关论文
共 50 条
  • [1] RT-CDL - A DISTRIBUTED REAL-TIME DESIGN LANGUAGE AND ITS OPERATIONAL SEMANTICS
    LIU, LYH
    SHYAMASUNDAR, RK
    [J]. COMPUTER LANGUAGES, 1994, 20 (01): : 1 - 23
  • [2] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE
    HUZAR, Z
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
  • [3] SEMANTICS OF REAL-TIME DISTRIBUTED PROGRAMS
    GOSWAMI, A
    JOSEPH, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 292 - 306
  • [4] An operational semantics and compiler for Real-Time specifications
    Puchol, C
    Stuart, DA
    Mok, AK
    [J]. INTEGRATED COMPUTER-AIDED ENGINEERING, 1998, 5 (03) : 187 - 206
  • [5] Towards Real-Time Semantics for a Distributed Event-Based MOP Language
    Sanabria, Mateo
    Garzon Alfonso, Wilmer
    Benavides Navarro, Luis Daniel
    [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 231 - 243
  • [6] COMPOSITIONAL SEMANTICS FOR REAL-TIME DISTRIBUTED COMPUTING
    KOYMANS, R
    SHYAMASUNDAR, RK
    DEROEVER, WP
    GERTH, R
    ARUNKUMAR, S
    [J]. INFORMATION AND COMPUTATION, 1988, 79 (03) : 210 - 256
  • [7] An Operational Semantics of Real-Time Process Algebra (RTPA)
    Wang, Yingxu
    Ngolah, Cyprian F.
    [J]. INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 71 - 89
  • [8] Operational semantics for real-time processes with action refinement
    Sun, XL
    Wu, JZ
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 54 - 63
  • [9] Operational and logical semantics for polling real-time systems
    Dierks, H
    Fehnker, A
    Mader, A
    Vaandrager, F
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 29 - 40
  • [10] COMPOSITIONAL SEMANTICS OF A REAL-TIME PROTOTYPING LANGUAGE
    KRAMER, B
    LUQI
    BERZINS, V
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (05) : 453 - 477
12345