Processes in space
File(s)Cardelli2009Processes.techreport.pdf.pdf (286.74 KB)
Accepted version
Author(s)
Cardelli, L
Gardner, PA
Type
Journal Article
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.
Date Issued
2012-05-04
Date Acceptance
2012-01-01
Citation
Theoretical Computer Science, 2012, 431, pp.40-55
ISSN
0304-3975
Publisher
Elsevier
Start Page
40
End Page
55
Journal / Book Title
Theoretical Computer Science
Volume
431
Identifier
http://www.doc.ic.ac.uk/~pg/
Subjects
Science & Technology
Technology
Computer Science, Theory & Methods
Computer Science
Process algebra
Affine geometry
Computation Theory & Mathematics
08 Information and Computing Sciences
01 Mathematical Sciences
Date Publish Online
2012-01-30