Skip to Main content Skip to Navigation
Conference papers

Dynamic Compartments in the Imperative Pi Calculus

Mathias John 1 Cédric Lhoussaine 2 Joachim Niehren 3, 4, *
* Corresponding author
3 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 BioComputing - Programming Languages for Biological Modeling and Simulation
LIFL - Laboratoire d'Informatique Fondamentale de Lille
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 BioAmbients.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00422970
Contributor : Joachim Niehren <>
Submitted on : Thursday, October 8, 2009 - 9:21:46 PM
Last modification on : Wednesday, January 13, 2021 - 4:24:02 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 9:06:35 PM

File

pi-imp.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

365

Files downloads

380