Corpus ID: 7974779

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

@article{Bartocci2010ShapeCA,
  title={Shape Calculus. A Spatial Mobile Calculus for 3D Shapes},
  author={E. Bartocci and F. Corradini and M. D. Berardini and E. Merelli and L. Tesei},
  journal={Sci. Ann. Comput. Sci.},
  year={2010},
  volume={20},
  pages={1-31}
}
We present 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 speci ed with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D 
30 Citations
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
  • 1
  • PDF
Shape Calculus: Timed Operational Semantics and Well-formedness
  • 3
  • PDF
Timed Operational Semantics and Well-Formedness of Shape Calculus
  • 16
  • PDF
Towards Abstraction-Based Verification of Shape Calculus
  • PDF
A Calculus of Located Entities
  • 4
  • PDF
Space, Geometry, Motion and Interactions in Modeling Biological Systems: the BioShape Approach
  • PDF
Adapting rule-based model descriptions for simulating in continuous and hybrid space
  • 32
A Flat Process Calculus for Nested Membrane Interactions
  • 12
  • PDF
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
  • 11
  • PDF
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling
  • 7
  • PDF
...
1
2
3
...

References

SHOWING 1-10 OF 34 REFERENCES
Bone Remodelling in BioShape
  • 16
  • PDF
Brane Calculi
  • 366
Spatial Calculus of Looping Sequences
  • 43
  • PDF
...
1
2
3
4
...