Sciweavers

Share
CMSB
2009
Springer

Dynamic Compartments in the Imperative pi-Calculus

9 years 10 months ago
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.
Mathias John, Cédric Lhoussaine, Joachim Ni
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CMSB
Authors Mathias John, Cédric Lhoussaine, Joachim Niehren
Comments (0)
books