A Spatial Extension to the [pi] Calculus

@article{SpacePi, 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 [pi] calculus by time and space. [pi] 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.}, author = {John, Mathias and Ewald, Roland and Uhrmacher, Adelinde M. }, booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)"}, citeulike-article-id = {2551930}, doi = {http://dx.doi.org/10.1016/j.entcs.2007.12.010}, journal = {Electronic Notes in Theoretical Computer Science}, month = {January}, number = {3}, pages = {133--148}, posted-at = {2008-03-31 13:30:56}, priority = {1}, title = {A Spatial Extension to the [pi] Calculus}, url = {http://dx.doi.org/10.1016/j.entcs.2007.12.010}, volume = {194}, year = {2008} }

TY - JOUR ID - SpacePi L3 - citeulike-article-id:2551930 TI - A Spatial Extension to the [pi] Calculus T2 - Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)" JF - Electronic Notes in Theoretical Computer Science VL - 194 IS - 3 SP - 133 EP - 148 N2 - 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 [pi] calculus by time and space. [pi] 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. AU - John, Mathias AU - Ewald, Roland AU - Uhrmacher, Adelinde PY - 2008/01/20/ UR - http://dx.doi.org/10.1016/j.entcs.2007.12.010 ER -