title: |
Reaction Constraints for the Pi-Calculus: A Language for the Stochastic and Spatial
Modeling of Cell-Biological Processes |
|
contributing persons: |
Mathias John[VerfasserIn] |
|
143691279 |
Adelinde M. Uhrmacher
, Prof. Dr. rer. nat. habil.[AkademischeR BetreuerIn] |
Corrado Priami
, Prof. Dr.[AkademischeR BetreuerIn] |
Joachim Niehren
, Dr. rer. nat. habil.[AkademischeR BetreuerIn] |
|
contributing corporate bodies: |
Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution] |
|
10085032-7 |
|
|
abstract: |
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 modeling language used to 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.
[German] |
|
document type: |
|
institution: |
Faculty of Computer Science and Electrical Engineering |
|
language: |
|
subject class (DDC): |
004 Data processing Computer sciences |
|
|
publication / production: |
Rostock
Rostock: Universität Rostock
|
2010
|
|
|
identifiers: |
|
|
access condition: |
|
license/rights statement: |
all rights reserved This work may only be used under the terms of the German Copyright Law (Urheberrechtsgesetz). |
|
|
RosDok id: |
rosdok_disshab_0000000620 |
created / modified: |
14.04.2011 / 08.08.2023
|
metadata license: |
The metadata of this document was dedicated to the public domain (CC0 1.0 Universal Public Domain Dedication). |