A Spatial Extension to the π Calculus

John, Mathias and Ewald, Roland and Uhrmacher, Adelinde M. (2008) A Spatial Extension to the π Calculus. Electr. Notes Theor. Comput. Sci., 194 (3), pp. 133-148.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.entcs.2007.12.010


Spatial dynamics receive increasing attention in Systems Biology and require suitable modeling and simulation approaches. So far, modeling formalisms have focused on population-based approaches or place and move individuals relative to each other in space. SpacePi extends the π calculus by time and space. π processes are embedded into a vector space and move individually. Only processes that are sufficiently close can communicate. The operational semantics of SpacePi defines the interplay between movement, communication, and time-triggered events. A model describing the phototaxis of the Euglena micro-organism is presented as a practical example. The formalism's use and generality is discussed with respect to the modeling of molecular biological processes like diffusion, active transportation in cell signaling, and spatial structures.

Item Type: Article
Projects: GRK dIEM oSiRiS