The real time process algebra of [BAB91 a] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to the required temporal attribute. As it turns out, asynchronous communication cannot easily be avoided. Based on the state operators of [BAB88] and following [BEKT85], asychronous communication mechanisms are introduced as an additional feature of real space process algebra. The overall emphasis is on the introductory explanation of the features of real space process algebra, and characteristic examples are given for each of these.
Real space process algebra ACP ρσ REF based on ACP introduced locations with real values as an attribute of atomic actions.
Real space process algebra
CONCUR
Computer Science Engineering