ANALYZING TMFS - A STUDY OF NONDETERMINISM IN REAL-TIME CONCURRENCY

被引：0
|
作者：
REED, GM [1 ]
ROSCOE, AW [1 ]
机构：
[1] UNIV OXFORD,COMP LAB,OXFORD OX1 3QD,ENGLAND
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 491卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
It is well-known that nondeterminism is a consequence of concurrent computation. Modelling it correctly is one of the chief requirements of any theory. In this paper we study how nondeterminism arises in real-time concurrency. The vehicle used is TM(F)S, the timed failures/stability model for CSP. We see both how this model is able to capture a wide range of subtle behaviours which have no direct untimed analogues, and how the axioms of the model can be justified by a detailed study of nondeterminism.
引用
收藏
页码：36 / 63
页数：28
相关论文
共 50 条
  • [1] REAL-TIME COMPUTATIONS WITH RESTRICTED NONDETERMINISM
    FISCHER, PC
    KINTALA, CMR
    MATHEMATICAL SYSTEMS THEORY, 1979, 12 (03): : 219 - 231
  • [2] Real-time index concurrency control
    Haritsa, JR
    Seshadri, S
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2000, 12 (03) : 429 - 447
  • [3] Programming Models for Concurrency and Real-Time
    Vitek, Jan
    OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 17 - 17
  • [4] A study of concurrency control in real-time, active database systems
    Datta, A
    Son, SH
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (03) : 465 - 484
  • [5] RTC - LANGUAGE SUPPORT FOR REAL-TIME CONCURRENCY
    WOLFE, VF
    DAVIDSON, S
    LEE, I
    REAL-TIME SYSTEMS, 1993, 5 (01) : 63 - 87
  • [6] Real-time concurrency control in a multiprocessor environment
    Kuo, TW
    Wu, J
    Hsih, HC
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2002, 13 (06) : 659 - 671
  • [7] Compositionality in real-time shared variable concurrency
    deBoer, FS
    Tej, H
    deRoever, WP
    vanHulst, M
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 420 - 439
  • [8] Concurrency control in real-time broadcast environments
    Dang, DP
    Liu, YS
    JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 68 (02) : 137 - 144
  • [9] Object-oriented real-time concurrency
    Buhr, PA
    Harji, AS
    Lim, PE
    Chen, JX
    ACM SIGPLAN NOTICES, 2000, 35 (10) : 29 - 46
  • [10] A Secure Real-Time Concurrency Control Protocol for Mobile Distributed Real-Time Databases
    Xiao, Yingyuan
    Liu, Yunsheng
    Liao, Guoqiong
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (01): : 338 - 347
12345