8 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 2 cited
Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini +2
The Shape Calculus is 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…
cs.CE2010★ 8 cited
Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli +1
Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several appr…