A Spatial Extension to the Pi-Calculus

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.
Type de document :
Communication dans un congrès
From Biology To Concurrency and back, Sep 2007, Lissabon, Portugal. 2008, 〈10.1016/j.entcs.2007.12.010〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00656206
Contributeur : Mathias John <>
Soumis le : mardi 3 janvier 2012 - 17:20:34
Dernière modification le : lundi 21 mars 2016 - 17:29:43
Document(s) archivé(s) le : mercredi 4 avril 2012 - 02:55:45

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Mathias John, Roland Ewald, Adelinde Uhrmacher. A Spatial Extension to the Pi-Calculus. From Biology To Concurrency and back, Sep 2007, Lissabon, Portugal. 2008, 〈10.1016/j.entcs.2007.12.010〉. 〈hal-00656206〉

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

197