Title :

Dynamic Compartments in the Imperative Pi Calculus

Author(s) :

John, Mathias [Auteur]
University of Rostock = Universität Rostock
Lhoussaine, Cedric [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Niehren, Joachim [Auteur correspondant]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]
Programming Languages for Biological Modeling and Simulation [BioComputing]

Conference title :

Computational Methods in Systems Biology, 7th International Conference

City :

Bologna

Country :

Italie

Start date of the conference :

2009-08-31

Book title :

Computational Methods in Systems Biology, 7th International Conference

Journal title :

LNCS

Publisher :

Spinger

Publication date :

2009-08-13

HAL domain(s) :

Informatique [cs]/Bio-informatique [q-bio.QM]
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

ANR Project :

A Uniform Approach for Stochastic Modeling with Spatial Aspects in Systems Biology

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL