REAL SPACE PROCESS ALGEBRA

被引：0
|
作者：
BAETEN, JCM
BERGSTRA, JA
机构：
[1] UNIV AMSTERDAM, PROGRAMMING RES GRP, 1009 DB AMSTERDAM, NETHERLANDS
[2] STATE UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 527卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We extend the real time process algebra of [BB91] to real space-time process algebra, where actions are not just parametrized by a time coordinate, but also by three spatial coordinates. We describe two versions: classical space-time, where all equations are invariant under Galilei transformations, and relativistic space-time, where all equations are invariant under Lorentz transformations. The latter case in turn splits into two subcases: the temporal interleaving model and the true concurrency model.
引用
收藏
页码：96 / 110
页数：15
相关论文
共 50 条
  • [1] ASYNCHRONOUS COMMUNICATION IN REAL-SPACE PROCESS ALGEBRA
    BAETEN, JCM
    BERGSTRA, JA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 473 - 492
  • [2] SPACE OF REAL PARTS OF A FUNCTION ALGEBRA
    WERMER, J
    [J]. PACIFIC JOURNAL OF MATHEMATICS, 1963, 13 (04) : 1423 - &
  • [3] SPIN ALGEBRA OF A REAL HILBERT-SPACE
    PLYMEN, RJ
    YOUNG, RMG
    [J]. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 1974, 9 (DEC): : 286 - 292
  • [4] ABSTRACTION IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 325 - 352
  • [5] A process algebra for real-time programs
    Dierks, H
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
  • [6] The real-time process algebra (RTPA)
    Wang, YX
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
  • [7] COMPLETENESS IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 376 - 392
  • [8] State space reduction for process algebra specifications
    Garavel, H
    Serwe, W
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 164 - 180
  • [9] State space reduction for process algebra specifications
    Garavel, H
    Serwe, W
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 351 (02) : 131 - 145
  • [10] Design of a parser for Real-Time Process Algebra
    Zhao, JH
    Wang, YX
    [J]. CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1259 - 1262
12345