Abstract
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.1980 Mathematics Subject Classification (1985 revision)68Q4568Q5568Q6568Q501987 CR CategoriesF.4.3D.2.10D.3.1D.3.3Key words & Phrasesprocess algebrareal timereal space-timeGalilei transformationLorentz transformationinterleavingtrue concurrency
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
