Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Reaction Constraints for the Pi-Calculus: A Language for the Stochastic and Spatial Modeling of Cell-Biological Processes

Reaction Constraints for the Pi-Calculus: A Language for the Stochastic and Spatial Modeling of Cell-Biological Processes

John, Mathias

Paperback

BiologyGeneral Computers

Currently unavailable to order

ISBN10: 3832527257
ISBN13: 9783832527259
Publisher: Logos Verlag Berlin
Published: Feb 21 2011
Pages: 274
Weight: 0.60
Height: 0.61 Width: 5.71 Depth: 8.11
Language: English
For cell-biological processes, it is the complex interaction of their biochemical
components, affected by both stochastic and spatial considerations, that create the
overall picture. Formal modeling provides a method to overcome the limits of
experimental observation in the wet-lab by moving to the abstract world of the
computer. The limits of the abstract world again depend on the expressiveness of the
modeling language used to formally describe the system under study. In this thesis,
reaction constraints for the pi-calculus are proposed as a language for the
stochastic and spatial modeling of cell-biological processes. The goal is to develop
a language with sufficient expressive power to model dynamic cell structures, like
fusing compartments. To this end, reaction constraints are augmented with two
language constructs: priority and a global imperative store, yielding two different
modeling languages, including non-deterministic and stochastic semantics. By several
modeling examples, e.g. of Euglena's phototaxis, and extensive expressiveness
studies, e.g. an encoding of the spatial modeling language BioAmbients, the
usefulness of reaction constraints, priority, and a global imperative store for the
modeling of cell-biological processes is shown. Thereby, besides dynamic cell
structures, different modeling styles, e.g. individual-based vs. populationbased
modeling, and different abstraction levels, as e.g. provided by reaction kinetics
following the law of Mass action or the Michaelis-Menten theory, are considered.

Also in

General Computers

View All