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

Mathias John

doi:10.18453/rosdok_id00000823

Mathias John

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

Universität Rostock, 2010

https://doi.org/10.18453/rosdok_id00000823

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.

Dissertation Freier Zugang

Titel:

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

Beteiligte Personen:

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]

Beteiligte Körperschaften:

Universität Rostock, Fakultät für Informatik und Elektrotechnik[Grad-verleihende Institution]
	10085032-7

Zusammenfassung:

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. [Deutsch]

Dokumenttyp:

Dissertation

Einrichtung:

Fakultät für Informatik und Elektrotechnik

Sprache:

Englisch

Sachgruppe der DNB:

004 Informatik

Veröffentlichung /
Entstehung:

Rostock

Rostock: Universität Rostock

2010