Uniformity in Multiscale Models: From Complex Automata to BioShape.

D Cacciagrano, F Corradini… - Journal of Cellular …, 2017 - search.ebscohost.com
Many biological phenomena are inherently multiscale (MS)-ie they are characterised by
interactions involving simultaneously different spatial and temporal scales. The needs of …

[PDF][PDF] A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.

F Buti, F Corradini, E Merelli, L Tesei - SIMULTECH, 2012 - pdfs.semanticscholar.org
The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D
geometrical shapes moving in a space. Its purpose is twofold: i) modelling and formally …

Towards abstraction-based verification of Shape Calculus

F Buti, MC De Donato, F Corradini… - Electronic Notes in …, 2012 - Elsevier
The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D
geometrical shapes moving in a space. Shapes, combined with a behaviour, form 3D …