THE STATE OPERATOR IN REAL-TIME PROCESS ALGEBRA

被引：0
|
作者：
BAETEN, JCM
BERGSTRA, JA
机构：
[1] CWI, DEPT SOFTWARE TECHNOL, 1009 AB AMSTERDAM, NETHERLANDS
[2] UNIV AMSTERDAM, PROGRAMMING RES GRP, 1009 DB AMSTERDAM, NETHERLANDS
[3] UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 600卷
关键词：
PROCESS ALGEBRA; REAL TIME; STATE OPERATOR; LOCATIONS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We extend the real time process algebra of [BB91a] with the state operator of [BB88]. We show the usefulness of this extension in several examples. We use concepts from (classical) real space process algebra of [BB91b] in order to deal with different locations.
引用
收藏
页码：107 / 123
页数：17
相关论文
共 50 条
  • [21] Model Checking of Real-Time Properties of Resource-Bound Process Algebra
    Park, Junkil
    Lee, Jungjae
    Choi, Jin-Young
    Lee, Insup
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11) : 2781 - 2789
  • [22] Real-Time Adaptive Automation System Based on Identification of Operator Functional State in Simulated Process Control Operations
    Ting, Ching-Hua
    Mahfouf, Mahdi
    Nassef, Ahmed
    Linkens, Derek A.
    Panoutsos, George
    Nickel, Peter
    Roberts, Adam C.
    Hockey, G. Robert J.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2010, 40 (02): : 251 - 262
  • [23] Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems
    Markovski, J.
    de Vink, E. P.
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 180 - 189
  • [24] A Robust Join Operator to Process Streaming Data in Real-Time Data Warehousing
    Naeem, M. Asif
    2013 EIGHTH INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT (ICDIM), 2013, : 119 - 124
  • [25] APPLICATION-ORIENTED REAL-TIME ALGEBRA
    BRADLEY, S
    HENDERSON, W
    KENDALL, D
    ROBSON, A
    SOFTWARE ENGINEERING JOURNAL, 1994, 9 (05): : 201 - 212
  • [26] Real-time automata and the Kleene algebra of sets of real numbers
    Dima, C
    STACS 2000: 17TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2000, 1770 : 279 - 289
  • [27] A Model for Real-Time Systems Using Multi-Cost Timed Process Algebra
    Guo, Zhuo
    Qiao, Jianzhong
    Lin, Shukuan
    PROCEEDINGS OF 2ND CONFERENCE ON LOGISTICS, INFORMATICS AND SERVICE SCIENCE (LISS 2012), VOLS 1 AND 2, 2013,
  • [28] REAL-TIME SIMULATOR FOR FCCU OPERATOR TRAINING
    GOKHALE, AV
    RICE, VL
    ISA TRANSACTIONS, 1992, 31 (03) : 39 - 46
  • [29] Real-time process monitoring
    Bunkofske, RJ
    Pascoe, NT
    Colt, JZ
    Smit, MW
    1996 ADVANCED SEMICONDUCTOR MANUFACTURING CONFERENCE AND WORKSHOP - ASMC 96 PROCEEDINGS: THEME - INNOVATIVE APPROACHES TO GROWTH IN THE SEMICONDUCTOR INDUSTRY, 1996, : 382 - 390
  • [30] REAL-TIME PROCESS OPTIMIZATION
    CLEMMONS, J
    CHEMICAL ENGINEERING, 1990, 97 (04) : 8 - &
12345