8 citations · 14 across the 5 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…