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.Abstract
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 |
