Reaction constraints for the pi-calculus [Elektronische Ressource] : a language for the stochastic and spatial modeling of cell-biological processes / vorgelegt von Mathias John

Reaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling ofCell-Biological ProcessesDissertationzurErlangung des akademischen GradesDoktor-Ingenieur (Dr.-Ing.)der Fakultät für Informatik und Elektrotechnikder Universität Rostockvorgelegt vonDipl. Inf. Mathias John, geb. am 1982/02/14 in Teterowaus RostockRostock, 2010/07/07Principal Advisor: Prof. Dr. rer. nat. habil. Adelinde M. UhrmacherUniversity of Rostock, GermanyExternal Reviewers: Prof. Dr. Corrado PriamiMicrosoft Research / University of Trento, ItalyDr. rer. nat. habil. Joachim NiehrenINRIA Lille Nord Europe, FranceDate of Defense: 2010/08/26AbstractFor cell-biological processes, it is the complex interaction of their bio-chemical components, affected by both stochastic and spatial consid-erations, that create the overall picture. Formal modeling provides amethod to overcome the limits of experimental observation in the wet-lab by moving to the abstract world of the computer. The limits ofthe abstract world again depend on the expressiveness of the modelinglanguage used to formally describe the system under study. In this the-sis, reaction constraints for the pi-calculus are proposed as a languagefor the stochastic and spatial modeling of cell-biological processes.The goal is to develop a language with sufficient expressive power tomodel dynamic cell structures, like fusing compartments.