Reaction constraints for the Pi-Calculus: a language for the stochastic and spatial modeling of cell-biological processes π-Calculus John, Mathias , 1982- Text theses Text Hochschulschrift 2010 c2010 eng electronic resourceremoteComputermedienOnline-Ressourcetext/htmlapplication/pdfapplication/pdfOnline-Ressource graph. Darst. 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. Mathias John Die gedruckte Ausgabe ist auch im Logos-Verlag unter der ISBN 978-3-8325-2725-9 erschienen Rostock, Univ., Diss., 2010 Langzeitarchivierung gewährleistet pdager 004 42.11 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2011-0047-3 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2011-0047-3&pdf http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2011-0047-3 http://d-nb.info/1014204712/34 http://rosdok.uni-rostock.de/metadata/rosdok_disshab_000000000620 Reaction constraints for the Pi-Calculus--9783832527259--(DE-627)654656290 urn:nbn:de:gbv:28-diss2011-0047-3 oclc: 752075056 ppn: (DE-627)656415088