Dynamic Compartments in the Imperative π-Calculus

John, Mathias and Lhoussaine, Cédric and Niehren, Joachim (2009) Dynamic Compartments in the Imperative π-Calculus. In: CMSB 2009: 7th International Conference on Computational Methods in Systems Biology, August 31 - September 1, Bologna, Italy. Proceedings,, pp. 235-250.

Full text not available from this repository.
Official URL: http://doi.org/10.1007/978-3-642-03845-7_16


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 bioambBioAmbients.

Item Type: Conference or Workshop Item (Paper)
Projects: GRK dIEM oSiRiS