Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Processes in space
 
  • Details
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
URI
http://hdl.handle.net/10044/1/71188
DOI
https://www.dx.doi.org/10.1016/j.tcs.2011.12.051
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback