Titre :

Dynamic Compartments in the Imperative Pi Calculus

Auteur(s) :

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

Titre de la manifestation scientifique :

Computational Methods in Systems Biology, 7th International Conference

Ville :

Bologna

Pays :

Italie

Date de début de la manifestation scientifique :

2009-08-31

Titre de l’ouvrage :

Computational Methods in Systems Biology, 7th International Conference

Titre de la revue :

LNCS

Éditeur :

Spinger

Date de publication :

2009-08-13

Discipline(s) HAL :

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

Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Projet ANR :

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