mycoreobjectrosdok_disshab_0000000620rosdok_disshab_0000000620rosdokdisshabrosdok_derivate_00000045642023-08-08T10:02:32.130Z2011-04-14T08:27:09.447Zadministratorpublished1rosdok_derivate_0000004564truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id00000823656415088MODS updated during RosDok migration in June 2021DissertationHochschulschrift143691279MathiasJohn1982-VerfasserInautReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesenProf. Dr. rer. nat. habil.Adelinde M.UhrmacherAkademischeR BetreuerIndgsProf. Dr.CorradoPriamiAkademischeR BetreuerIndgsDr. rer. nat. habil.JoachimNiehrenAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000823http://purl.uni-rostock.de/rosdok/id00000823urn:nbn:de:gbv:28-diss2011-0047-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2010monographic20102010Universitätsbibliothek RostockRostock20112011For 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.spatial and stochastic modelingpi-calculuscomputational systems biologyräumliche und stochastiche Modellierungpi-KalkülSystembiologieDie 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.Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000823doctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisrfc5646:enrfc5646:enEnglischEnglishengengSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2licenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/Reaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological Processesgnd:143691279gnd:10085032-7gnd:143691279gnd:10085032-7rosdok_disshab_0000000620-d778063e39gnd:143691279Mathias JohnMathias Johnrosdok_disshab_0000000620-d778063e61Prof. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. rer. nat. habil. Adelinde M. Uhrmacherrosdok_disshab_0000000620-d778063e73Prof. Dr. Corrado PriamiProf. Dr. Corrado Priamirosdok_disshab_0000000620-d778063e85Dr. rer. nat. habil. Joachim NiehrenDr. rer. nat. habil. Joachim Niehrenrosdok_disshab_0000000620-d778063e98gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnProf. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. Corrado PriamiDr. rer. nat. habil. Joachim NiehrenUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnProf. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. Corrado PriamiDr. rer. nat. habil. Joachim NiehrenUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000823http://purl.uni-rostock.de/rosdok/id00000823urn:nbn:de:gbv:28-diss2011-0047-3spatial and stochastic modelingpi-calculuscomputational systems biologyräumliche und stochastiche Modellierungpi-KalkülSystembiologieFor 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.20102010Die 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.epub.dissertation1 Dissertation_John_2011.pdf 1883058 17b72dfbc08e6bf90dca89ce78a277ed rosdok/id00000823656415088MODS updated during RosDok migration in June 2021DissertationHochschulschrift143691279MathiasJohn1982-VerfasserInautReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesenProf. Dr. rer. nat. habil.Adelinde M.UhrmacherAkademischeR BetreuerIndgsProf. Dr.CorradoPriamiAkademischeR BetreuerIndgsDr. rer. nat. habil.JoachimNiehrenAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000823http://purl.uni-rostock.de/rosdok/id00000823urn:nbn:de:gbv:28-diss2011-0047-3004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2010monographic20102010Universitätsbibliothek RostockRostock20112011For 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.spatial and stochastic modelingpi-calculuscomputational systems biologyräumliche und stochastiche Modellierungpi-KalkülSystembiologieDie 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.Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000823 2011-04-14T08:27:09.447Z 2023-08-08T10:02:32.130Z 2023-08-18T10:02:32.136Z {"identifier":"rosdok/id00000823","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-06-30T12:50:36.027Z"} {"identifier":"http://purl.uni-rostock.de/rosdok/id00000823","type":"purl","additional":"","service":"RosDokPURL","created":"2018-06-30T12:50:36.209Z","registered":"2018-06-30T12:50:36.209Z"} {"identifier":"10.18453/rosdok_id00000823","type":"doi","additional":"","service":"RosDokDOI","created":"2018-06-30T12:50:37.537Z","registered":"2018-06-30T12:50:37.537Z"} {"identifier":"urn:nbn:de:gbv:28-diss2011-0047-3","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-06-30T12:50:36.032Z","registered":"2011-04-15T02:21:06.587Z"} administratorfulltextfile/rosdok_disshab_0000000620/rosdok_derivate_0000004564/Dissertation_John_2011.pdfReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological Processesgnd:143691279gnd:10085032-7gnd:143691279gnd:10085032-7rosdok_disshab_0000000620-d778063e39gnd:143691279Mathias JohnMathias Johnrosdok_disshab_0000000620-d778063e61Prof. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. rer. nat. habil. Adelinde M. Uhrmacherrosdok_disshab_0000000620-d778063e73Prof. Dr. Corrado PriamiProf. Dr. Corrado Priamirosdok_disshab_0000000620-d778063e85Dr. rer. nat. habil. Joachim NiehrenDr. rer. nat. habil. Joachim Niehrenrosdok_disshab_0000000620-d778063e98gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnProf. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. Corrado PriamiDr. rer. nat. habil. Joachim NiehrenUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnProf. Dr. rer. nat. habil. Adelinde M. UhrmacherProf. Dr. Corrado PriamiDr. rer. nat. habil. Joachim NiehrenUniversität Rostock Fakultät für Informatik und ElektrotechnikMathias JohnRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000823http://purl.uni-rostock.de/rosdok/id00000823urn:nbn:de:gbv:28-diss2011-0047-3spatial and stochastic modelingpi-calculuscomputational systems biologyräumliche und stochastiche Modellierungpi-KalkülSystembiologieFor 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.20102010Die 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.[xslt]Saxonrosdok/id00000823https://purl.uni-rostock.de/rosdok/id0000082365641508810.18453/rosdok_id00000823urn:nbn:de:gbv:28-diss2011-0047-3Mathias JohnJohn MathiasReaction Constraints for the Pi-Calculus : A Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesDissertationdoctoral thesisUniversität Rostock, 2010For 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…Mathias JohnReaction Constraints for the Pi-CalculusA Language for the Stochastic and Spatial Modeling of Cell-Biological ProcessesUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000823143691279MathiasJohn1982-VerfasserInautProf. Dr. rer. nat. habil.Adelinde M.UhrmacherAkademischeR BetreuerIndgsProf. Dr.CorradoPriamiAkademischeR BetreuerIndgsDr. rer. nat. habil.JoachimNiehrenAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg[doi]10.18453/rosdok_id00000823[purl]http://purl.uni-rostock.de/rosdok/id00000823[urn]urn:nbn:de:gbv:28-diss2011-0047-3open_access20102010epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published