AN INTERLEAVING MODEL FOR REAL-TIME SYSTEMS

被引：0
|
作者：
CHEN, L
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 620卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present a timed calculus, Timed CCS, which is an extension of Milner's CCS with time. We allow time to be discrete, such as the integers or the natural numbers, or dense, such as the rationals or the reals. We extend the notion of strong bisimulation to timed processes and show that the largest strong bisimulation is decidable. The decidability is independent of the choice of the time domain.
引用
收藏
页码：81 / 92
页数：12
相关论文
共 50 条
  • [1] CCS + TIME = AN INTERLEAVING MODEL FOR REAL-TIME SYSTEMS
    YI, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 217 - 228
  • [2] An Interleaving Structure for Guaranteed QoS in Real-Time Broadcasting Systems
    Kang, Kyungtae
    Sha, Lui
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (05) : 666 - 678
  • [3] A MODEL FOR REAL-TIME SYSTEMS
    KRISHNAN, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 298 - 307
  • [4] A Model for Industrial Real-Time Systems
    Bin Waez, Md Tawhid
    Wasowski, Andrzej
    Dingel, Juergen
    Rudie, Karen
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 153 - 171
  • [5] Model synthesis for real-time systems
    Huselius, J
    Andersson, J
    [J]. NINTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2005, : 52 - 60
  • [6] A model for real-time systems curriculum
    Halang, WA
    Zalewski, J
    [J]. REAL-TIME SYSTEMS EDUCATION, 1996, : 39 - 48
  • [7] Traceable calibration for a digital real-time oscilloscope with time interleaving architecture
    Kim, Dongju
    Lee, Joo-Gwang
    Lee, Dong-Joon
    Cho, Chihyun
    [J]. MEASUREMENT SCIENCE AND TECHNOLOGY, 2018, 29 (01)
  • [8] Real-Time Event Framework based on component model for distributed real-time systems
    Yoon, EY
    Yoon, YI
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 1942 - 1948
  • [9] Conceptual model of real-time IoT systems
    Bo Yuan
    De-ji Chen
    Dong-mei Xu
    Ming Chen
    [J]. Frontiers of Information Technology & Electronic Engineering, 2019, 20 : 1457 - 1464
  • [10] Conceptual model of real-time IoT systems
    Yuan, Bo
    Chen, De-ji
    Xu, Dong-mei
    Chen, Ming
    [J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2019, 20 (11) : 1457 - 1464
12345