DagSemProc.06161.10.pdf
- Filesize: 219 kB
- 6 pages
Document
Stochastic Process Algebra Models of a Circadian Clock
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 6161
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-09-07
Cite AsGet BibTex
Jeremy T. Bradley and Thomas Thorne. Stochastic Process Algebra Models of a Circadian Clock. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.06161.10
https://doi.org/10.4230/DagSemProc.06161.10
Abstract
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic $pi$-calculus.
Keywords
- Stochastic process algebras
- ODEs
- Circadian clock
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads