Title :

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

English title :

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

Author(s) :

John, Mathias [Auteur]
Programming Languages for Biological Modeling and Simulation [BioComputing]

Thesis director(s) :

Adelinde Uhrmacher

Defence date :

2010-08-26

Jury president :

Adelinde Uhrmacher (reviewer)
Joachim Niehren (reviewer)
Corrado Priami (reviewer)

Jury member(s) :

Adelinde Uhrmacher (reviewer)
Joachim Niehren (reviewer)
Corrado Priami (reviewer)

Accredited body :

Universität Rostock

English keyword(s) :

spatial and stochastic modeling
pi-calculus
computational systems biology

HAL domain(s) :

Informatique [cs]/Modélisation et simulation
Informatique [cs]/Bio-informatique [q-bio.QM]
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
Informatique [cs]/Langage de programmation [cs.PL]

Language :

Anglais

Other project(s) or funding source(s) :

BioComputing
LIFL
Lille

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Submission date :

2020-05-29T10:28:59Z