REAL SPACE PROCESS ALGEBRA

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.