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
关键词
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 条
  • [41] Modeling and Evaluating Intelligent Real-Time Route Planning and Carpooling System with Performance Evaluation Process Algebra
    Ding, Jie
    Wang, Rui
    Chen, Xiao
    FUZZY SYSTEMS AND DATA MINING II, 2016, 293 : 542 - 548
  • [42] REAL-TIME OPTIMIZATION OF A FERMENTATION PROCESS
    YOUSEFPOUR, P
    WILLIAMS, D
    BIOTECHNOLOGY LETTERS, 1981, 3 (09) : 519 - 524
  • [43] Engineering the real-time teaching process?
    Schwarz, JJ
    Aubry, R
    Skubich, J
    REAL-TIME SYSTEMS EDUCATION II, 1997, : 28 - 32
  • [44] Real-time monitoring of the process of care
    Miranda, DR
    Nap, R
    ANAESTHESIA PAIN INTENSIVE CARE AND EMERGENCY MEDICINE - APICE 15: CRITICAL CARE MEDICINE, 2001, : 891 - 896
  • [45] Real-time control of a measurement process
    Kacker, R
    Zhang, NF
    Hagwood, C
    METROLOGIA, 1996, 33 (05) : 433 - 445
  • [46] Real-time state-splitting
    Kamabe, H
    1998 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY - PROCEEDINGS, 1998, : 114 - 114
  • [47] Dependency algebra: A Tool for designing robust real-time systems
    Ding, H
    Sha, L
    RTSS 2005: 26TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2005, : 210 - 220
  • [48] COMMUNICATING REAL-TIME STATE MACHINES
    SHAW, AC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (09) : 805 - 816
  • [49] Introduction to Real-Time State Assessment
    Borghetti, Brett J.
    Rusnock, Christina F.
    FOUNDATIONS OF AUGMENTED COGNITION: NEUROERGONOMICS AND OPERATIONAL NEUROSCIENCE, AC 2016, PT I, 2016, 9743 : 311 - 321
  • [50] New real-time methods for operator situational awareness retrieval and higher process safety in the control room
    Rybak, Nikodem
    Hassall, Maureen
    Parsa, Kourosh
    Angus, Daniel J.
    2017 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE 2017), 2017, : 312 - 318