Publikation: Teil einer Monographie/eines Konferenzbandes

Dynamic compartments in the imperative π-calculus

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Dynamic compartments in the imperative π-calculus
Veröffentlicht in	Computational methods in systems biology : 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 ; proceedings. - Berlin [u.a.] : Springer
Erscheinungsjahr	2009
Seiten (von – bis)	235 – 250
Jahr	2009
Publikationsform	Druckschrift
Publikationsart	Teil einer Monographie/eines Konferenzbandes
Sprache	Englisch
Letzte Änderung	17.05.2019 15:31:06
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/31758
Links zu Katalogen

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 Pi-Calculus. It is obtained from the Attributed Pi-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.

Autoren

John, Mathias

Lhoussaine, Cédric

Niehren, Joachim

Einrichtung

IEF/Bereich Informatik