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 条

[21] Process algebra versus axiomatic specification of a real-time protocol
Cerone, A
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 57 - 72
[22] THE DERIVATION ALGEBRA OF A REAL DIVISION ALGEBRA
BENKART, GM
OSBORN, JM
[J]. AMERICAN JOURNAL OF MATHEMATICS, 1981, 103 (06) : 1135 - 1150
[23] Tackling continuous state-space explosion in a Markovian process algebra
Tschaikowski, Max
Tribastone, Mirco
[J]. THEORETICAL COMPUTER SCIENCE, 2014, 517 : 1 - 33
[24] TRANSLATING TIMED PROCESS ALGEBRA INTO PRIORITIZED PROCESS ALGEBRA
JEFFREY, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 493 - 506
[25] REPRESENTATION OF A REAL B-ASTERISK-ALGEBRA ON A QUATERNIONIC HILBERT-SPACE
KULKARNI, SH
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1994, 121 (02) : 505 - 509
[26] Algebra and twisted algebra in toroidal target space
Tanimura, S
[J]. MODERN PHYSICS LETTERS A, 1996, 11 (14) : 1161 - 1168
[27] Model Checking Process Algebra of Communicating Resources for Real-time Systems
Boudjadar, A. Jalil
Kim, Jin Hyun
Larsen, Kim G.
Nyman, Ulrik
[J]. 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 51 - 60
[28] 'Closed interval process algebra' versus 'Interval process algebra'
Corradini, F
Pistore, M
[J]. ACTA INFORMATICA, 2001, 37 (07) : 467 - 510
[29] ‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’
Flavio Corradini
Marco Pistore
[J]. Acta Informatica, 2001, 37 : 467 - 509
[30] The Influence of Process Learning Model on the Teaching of Linear Algebra and Space Analytic Geometry
Ma, Qiaoling
Wang, Jihui
Chen, Zhaoying
[J]. 2017 2ND INTERNATIONAL CONFERENCE ON EDUCATION RESEARCH AND REFORM (ERR 2017), VOL 2, 2017, 20 : 184 - 187

← 1 2 3 4 5 →