Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikation: Teil einer Monographie/eines Konferenzbandes

A spatial extension to the π calculus


Grunddaten

Titel A spatial extension to the π calculus
Veröffentlicht in Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)" Lisbon, Portugal 08 September 2007. - Amsterdam [u.a.] : Elsevier Science
Erscheinungsjahr 2008
Seiten (von – bis) 133 – 148
Jahr 2008
Publikationsform Elektronische Ressource
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
DOI 10.1016/j.entcs.2007.12.010
Letzte Änderung 17.05.2019 14:28:32
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/31152
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

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.

Autoren

John, Mathias
Ewald, Roland
Uhrmacher, Adelinde Link zur UB Rostock Link zum GBV-Katalog

Externer Link

Beschreibung Link
Abstract http://dx.doi.org/10.1016/j.entcs.2007.12.010

Einrichtung

IEF/Bereich Informatik