We introduce the main concepts of a bio-inspired calculus for describing 3D shapes moving in a space. Each shape contains a timed CCS-like process specifying an internal behaviour based on shape- dependent channels and splitting actions. Interactions among such enti- ties, called 3D processes, are collision-driven, i.e. collisions are detected and resolved yielding bounces or joining of 3D compatible processes. We discuss how the features of the calculus can be used to model biological processes, for instance biochemical reactions.
A Shape Calculus for Biological Processes
BARTOCCI, Ezio;DI BERARDINI, Maria Rita;CORRADINI, Flavio;MERELLI, Emanuela;TESEI, Luca
2009-01-01
Abstract
We introduce the main concepts of a bio-inspired calculus for describing 3D shapes moving in a space. Each shape contains a timed CCS-like process specifying an internal behaviour based on shape- dependent channels and splitting actions. Interactions among such enti- ties, called 3D processes, are collision-driven, i.e. collisions are detected and resolved yielding bounces or joining of 3D compatible processes. We discuss how the features of the calculus can be used to model biological processes, for instance biochemical reactions.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
