Dynamic Compartments in the Imperative Pi Calculus - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Dynamic Compartments in the Imperative Pi Calculus

Résumé

Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to express dynamic compartments that we call the imperative π-calculus. It is obtained from the attributed π-calculus by adding imperative assignment operations to a global store. Previous approaches to dynamic compartments are improved in flexibility or efficiency. This is illustrated by an appropriate model of osmosis and a correct encoding of BioAmbients.
Fichier principal
Vignette du fichier
pi-imp.pdf (762.86 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00422970 , version 1 (08-10-2009)

Identifiants

Citer

Mathias John, Cédric Lhoussaine, Joachim Niehren. Dynamic Compartments in the Imperative Pi Calculus. Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. pp.235-250, ⟨10.1007/978-3-642-03845-7⟩. ⟨inria-00422970⟩
139 Consultations
213 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More