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