???Webpage.gotoContents???

Detailansicht

Mathias John

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

Dissertation, Rostock, 2010
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.
URL: http://rosdok.uni-rostock.de/resolve/id/rosdok_disshab_0000000620

Dokumente:
Dissertation_John_2011.pdf (1,8 MB)

Einrichtung:
Fakultät für Informatik und Elektrotechnik
Gutachter:
Adelinde M. Uhrmacher (Prof. Dr. rer. nat. habil.)
Corrado Priami (Prof. Dr.)
Joachim Niehren (Dr. rer. nat. habil.)
Jahr der Abgabe:
2010
Jahr der Verteidigung:
2010

Schlagworte:
spatial and stochastic modeling
pi-calculus
computational systems biology
räumliche und stochastiche Modellierung
pi-Kalkül
Systembiologie
DDC Klassifikation:
005 Programmierung, Programme, Daten

Anmerkungen:
Die Dissertation ist auch im Logos-Verlag (http://www.logos-verlag.de/) unter der ISBN 978-3-8325-2725-9 erschienen und auch über den Buchhandel erhältlich.

URN:
urn:nbn:de:gbv:28-diss2011-0047-3

eingestellt am:
14. April 2011
letzte Änderung:
14. April 2011