Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

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

[1]  Emanuela Merelli,et al.  Hermes: Agent-Based Middleware for Mobile Computing , 2005, SFM.

[2]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[3]  Emanuela Merelli,et al.  BioShape: a spatial shape-based scale-independent simulation environment for biological systems , 2010, ICCS.

[4]  Jane Hillston,et al.  Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks , 2007, FBTC@CONCUR.

[5]  Roberto Barbuti,et al.  Spatial Calculus of Looping Sequences , 2009, FBTC@ICALP.

[6]  Mathias John,et al.  A Spatial Extension to the π Calculus , 2007 .

[7]  Christer Ericson,et al.  Real-Time Collision Detection , 2004 .

[8]  Luca Cardelli,et al.  Brane Calculi , 2004, CMSB.

[9]  James Hetherington,et al.  Computational challenges of systems biology , 2004, Computer.

[10]  Peter J. Hunter,et al.  Multiscale modeling: physiome project standards, tools, and databases , 2006, Computer.

[11]  Emanuela Merelli,et al.  A Spatial Simulator for Metabolic Pathways , 2008 .

[12]  Ezio Bartocci,et al.  Shape Calculus A spatial calculus for 3D colliding shapes , 2009 .

[13]  Alberto Policriti,et al.  Stochastic Concurrent Constraint Programming and Differential Equations , 2007, QAPL.

[14]  Wang Yi,et al.  Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.

[15]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[16]  Michel Dumontier,et al.  GridCell: a stochastic particle-based biological system simulator , 2008, BMC Systems Biology.

[17]  D. Bray,et al.  Stochastic simulation of chemical reactions with spatial resolution and single molecule detail , 2004, Physical biology.

[18]  Emanuela Merelli,et al.  Bone Remodelling in BioShape , 2010, CS2Bio.

[19]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[20]  Daniel T. Gillespie,et al.  Simulation Methods in Systems Biology , 2008, SFM.

[21]  Erik De Schutter,et al.  Monte Carlo Methods for Simulating Realistic Synaptic Microphysiology Using MCell , 2000 .

[22]  Emanuela Merelli,et al.  Bone Remodelling: A Complex Automata-Based Model Running in BioShape , 2010, ACRI.

[23]  Emanuela Merelli,et al.  A spatial model and simulator for metabolic pathways , 2008 .

[24]  S. Plimpton,et al.  Microbial cell modeling via reacting diffusive particles , 2005 .

[25]  Masaru Tomita,et al.  Space in systems biology of signaling pathways – towards intracellular molecular crowding in silico , 2005, FEBS letters.

[26]  Ezio Bartocci,et al.  A Shape Calculus for Biological Processes , 2009, ICTCS.

[27]  Ming C. Lin,et al.  Collision Detection between Geometric Models: A Survey , 1998 .