Output details
11 - Computer Science and Informatics
Imperial College London
Processes in space
<10>Process algebras describe interacting systems: sometimes distributed over space; sometimes nested with a topologically-changing distribution. In computer systems (robotics, sensor networks) and biological systems (leaf growth, lung development), geometric distance, origin and orientation are also important. This invited, peer-reviewed journal paper combines a process algebra with affine geometry. Previous work combining process algebra with e.g. co-ordinate systems was complex; this formulisation is simple. The work originally appeared in CIE'10, and was presented as an invited talk by Cardelli at MeCBIC'09. It is representative of a wide body of work by Cardelli and Gardner, with Cardelli a visiting professor at Imperial.