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
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen
Publikation: Teil einer Monographie/eines Konferenzbandes
A spatial extension to the π calculus
Grunddaten
Link
Abstract
Autoren
Einrichtung
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
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
Externer Link
Beschreibung
Link
Abstract
http://dx.doi.org/10.1016/j.entcs.2007.12.010
Einrichtung
IEF/Bereich Informatik