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 条
  • [31] Real time process algebra with time-dependent conditions
    Baeten, JCM
    Middelburg, CA
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2001, 48 (1-2): : 1 - 38
  • [32] On real-time control and process monitoring of wastewater treatment plants:: real-time process monitoring
    Wade, MJ
    Sánchez, A
    Katebi, MR
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2005, 27 (03) : 173 - 193
  • [33] Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra
    Zhu, Yi
    Huang, Zhiqiu
    Zhang, Guangquan
    Zhou, Hang
    Xiao, Fangxiong
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (07) : 1099 - 1116
  • [34] Stochastic and Real Time in Process Algebra: A Conceptual Overview
    Bravetti, Mario
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 : 113 - 119
  • [35] Real-Time PLC Implementations of Fractional Order Operator
    Oprzedkiewicz, Krzysztof
    Gawin, Edyta
    Gawin, Tomasz
    AUTOMATION 2018: ADVANCES IN AUTOMATION, ROBOTICS AND MEASUREMENT TECHNIQUES, 2018, 743 : 36 - 51
  • [36] Corrosion as a real-time process variable
    Hohenstein, D
    CONTROL ENGINEERING, 2005, 52 (03) : IP9 - +
  • [37] REAL-TIME STATISTICAL PROCESS ANALYSIS
    不详
    MANUFACTURING ENGINEERING, 1990, 105 (04): : 10 - 10
  • [38] RECOVERY PROCESS IN A REAL-TIME SYSTEM
    OHASHI, K
    WASANO, T
    SAKATA, Y
    KURATA, M
    REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1978, 26 (1-2): : 45 - 54
  • [39] Real-time integrated process supervision
    Quek, C
    Wahab, A
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2000, 13 (06) : 645 - 658
  • [40] Real-Time Analysis Process Patterns
    Esfahani, Naeem
    Mirian-Hosseinabadi, Seyed-Hassan
    Rafati, Kamyar
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 777 - 781
12345