Processes in space

We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity theorem stating that algebraic equations are invariant under rigid body transformations.

Authors

• Luca Cardelli
• Philippa Gardner

Keywords

• Process algebra
• Affine geometry