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. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Cardelli, L., & Gardner, P. (2010). Processes in space. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6158 LNCS, pp. 78–87). https://doi.org/10.1007/978-3-642-13962-8_9
Mendeley helps you to discover research relevant for your work.