Dynamic Compartments in the Imperative Pi Calculus

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.
Type de document :
Communication dans un congrès
Computational Methods in Systems Biology, 7th International Conference, Aug 2009, Bologna, Italy. Spinger, 5688, pp.235-250, 2009, LNCS. 〈10.1007/978-3-642-03845-7〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00422970
Contributeur : Joachim Niehren <>
Soumis le : jeudi 8 octobre 2009 - 21:21:46
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : mardi 15 juin 2010 - 21:06:35

Fichier

pi-imp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. Spinger, 5688, pp.235-250, 2009, LNCS. 〈10.1007/978-3-642-03845-7〉. 〈inria-00422970〉

Partager

Métriques

Consultations de la notice

254

Téléchargements de fichiers

169