Dynamic Compartments in the Imperative Pi Calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Dynamic Compartments in the Imperative Pi Calculus


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
135 View
208 Download



Gmail Facebook X LinkedIn More