Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Promotion

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

Grunddaten

Promovend Der Name ist ausschließlich für Nutzer sichtbar, die entweder bei LSF angemeldet sind oder aus dem Netzwerk der Universität Rostock zugreifen.
Akademischer Grad Dr.-Ing.
Promotionsgebiet Modellierung und Simulation
Verleihungsdatum 06.09.2010
Datum der mündlichen Prüfungsleistung 26.08.2010

Betreuer/Gutachter

Prof. Dr. Adelinde Uhrmacher, Universität Rostock Betreuer und Gutachter
Prof. Dr. Corrado Priami, University of Trento, Italien Gutachter
Dr. Joachim Niehren, INRIA/University of Lille, Villeneuve dÁscq, Frankreich Gutachter

Einrichtung

Fakultät für Informatik und Elektrotechnik (IEF)

Publikationen

Reaction constraints for the Pi-Calculus Druckschrift
Reaction constraints for the Pi-Calculus Elektronische Ressource