Publikation: Teil einer Monographie/eines Konferenzbandes

The attributed pi calculus

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	The attributed pi calculus
Veröffentlicht in	Computational methods in systems biology: 6th international conference, CMSB 2008, Rostock, Germany, October 12 - 15, 2008: 6th international conference, CMSB 2008, Rostock, Germany, October 12 - 15, 2008 ; proceedings
Erscheinungsjahr	2008
Seiten (von – bis)	83 – 102
Jahr	2008
Publikationsform	Druckschrift
Publikationsart	Teil einer Monographie/eines Konferenzbandes
Sprache	Englisch
Letzte Änderung	20.05.2019 15:40:08
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/37331
Links zu Katalogen

Abstract

The attributed pi calculus (attrpi(AL)) forms an extension of the pi calculus with attributed processes and attribute dependent synchronization. To ensure flexibility, the calculus is parametrized with the language AL which defines possible values of attributes. attrpi(AL) can express polyadic synchronization as in pi@ and thus diverse compartment organizations. A non-deterministic and a stochastic semantics, where rates may depend on attribute values, is introduced. The stochastic semantics is based on continuous time Markov chains. A simulation algorithm is developed which is firmly rooted in this stochastic semantics. Two examples underline the applicability of attrpi(AL) to systems biology: Euglena's movement in phototaxis, and cooperative protein binding in gene regulation of bacteriophage lambda.

Übergeordnete Publikation

Computational methods in systems biology: 6th international conference, CMSB 2008, Rostock, Germany, October 12 - 15, 2008: 6th international conference, CMSB 2008, Rostock, Germany, October 12 - 15, 2008 ; proceedings

Autoren

John, Mathias
Lhoussaine, Cédric
Niehren, Joachim
Uhrmacher, Adelinde

Einrichtung

IEF/Bereich Informatik