A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
2010
Scientific Annals of Computer Science
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D processes.
doaj:acaa7ec714604aa9aed552e468c8a7e0
fatcat:mybzbkucvzg4fgxwhlkwfz6vza