 |
|
|
|
| HAL: inria-00422970, version 1 |
| DOI: 10.1007/978-3-642-03845-7 |
| See detailed view |  BibTeX,EndNote,... |
|
|
| Computational Methods in Systems Biology, 7th International Conference, Bologna : Italie (2009) |
|
|
|
|
| Dynamic Compartments in the Imperative Pi Calculus |
|
|
| Mathias John 1Cédric Lhoussaine 2 |
|
|
| (2009-08-13) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | University of Rostock |
|
|
|
University of Rostock |
|
|
| 2: | Laboratoire d'Informatique Fondamentale de Lille (LIFL) |
|
|
|
CNRS : UMR8022 – INRIA – IRCICA – Université des Sciences et Technologies de Lille - Lille I |
|
|
| 3: | MOSTRARE (INRIA Lille - Nord Europe) |
|
|
|
INRIA – CNRS : UMR8022 – Université des Sciences et Technologies de Lille - Lille I : EA3588 – Université Charles de Gaulle - Lille III |
|
|
| 4: | BIOCOMPUTING (LIFL) |
|
|
|
Université des Sciences et Technologies de Lille - Lille I – CNRS : UMR8022 |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Bioinformatics Life Sciences/Quantitative Methods |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00422970, version 1 | |
| http://hal.inria.fr/inria-00422970 | |
| oai:hal.inria.fr:inria-00422970 | |
| From: Joachim Niehren | |
| Submitted on: Thursday, 8 October 2009 21:21:46 | |
| Updated on: Tuesday, 1 June 2010 15:28:32 | |
