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.

• Type: Conference
• Year: 2010
• Where: CIE
• Authors: Luca Cardelli, Philippa Gardner
• Keywords: Affine Geometry, Applied Computing, CIE 2010, Geometric Process Algebra, Rigid Body Transformations