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

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.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11581/332014
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact