Imperial College London

MrLloydKamara

Faculty of EngineeringDepartment of Computing

Computing Support Manager
 
 
 
//

Contact

 

+44 (0)20 7594 8400l.kamara Website

 
 
//

Location

 

305Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@techreport{Cardelli:2009:10.25561/95275,
author = {Cardelli, L and Gardner, P},
booktitle = {Departmental Technical Report: 09/4},
doi = {10.25561/95275},
publisher = {Department of Computing, Imperial College London},
title = {Processes in space},
url = {http://dx.doi.org/10.25561/95275},
year = {2009}
}

RIS format (EndNote, RefMan)

TY  - RPRT
AB - We introduce a geometric process algebra based on affine geometry,with the aim of describing the concurrent evolution of geometric structures in3D space. We prove a relativity theorem stating that algebraic equations are invariantunder rigid body transformations.
AU - Cardelli,L
AU - Gardner,P
DO - 10.25561/95275
PB - Department of Computing, Imperial College London
PY - 2009///
TI - Processes in space
T1 - Departmental Technical Report: 09/4
UR - http://dx.doi.org/10.25561/95275
UR - http://hdl.handle.net/10044/1/95275
ER -