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 条
  • [1] A process algebra for real-time programs
    Dierks, H
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
  • [2] ABSTRACTION IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 325 - 352
  • [3] COMPLETENESS IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 376 - 392
  • [4] The real-time process algebra (RTPA)
    Wang, YX
    ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
  • [5] Design of a parser for Real-Time Process Algebra
    Zhao, JH
    Wang, YX
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1259 - 1262
  • [6] Real-time process algebra with stochastic delays
    Markovski, J.
    de Vink, E. P.
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 177 - +
  • [7] Real-Time Process Algebra and its applications
    Wang, YX
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 322 - 336
  • [8] An Operational Semantics of Real-Time Process Algebra (RTPA)
    Wang, Yingxu
    Ngolah, Cyprian F.
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 71 - 89
  • [9] Probabilistic resource failure in real-time process algebra
    Philippou, A
    Cleaveland, R
    Lee, I
    Smolka, S
    Sokolsky, O
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 389 - 404
  • [10] A Denotational Semantics of Real-Time Process Algebra (RTPA)
    Tan, Xinming
    Wang, Yingxu
    INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE, 2008, 2 (03) : 57 - 70
12345