Processes in space
File(s)
Published version
Author(s)
Cardelli, Luca
Gardner, Philippa
Type
Report
Abstract
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.
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.
Date Issued
2009-01-01
Citation
Departmental Technical Report: 09/4, 2009, pp.1-24
Publisher
Department of Computing, Imperial College London
Start Page
1
End Page
24
Journal / Book Title
Departmental Technical Report: 09/4
Copyright Statement
© 2009 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/)
Publication Status
Published
Article Number
09/4