Stochastic Modelling of the Kai-based Circadian Clock

Authors:
Chris Banks;Allan Clark;Anastasis Georgoulas;Stephen Gilmore;Jane Hillston;Dimitrios Milios;Ian Stark
Affiliations:
School of Informatics, University of Edinburgh, Edinburgh, United Kingdom;SynthSys, University of Edinburgh, Edinburgh, United Kingdom;SynthSys, University of Edinburgh, Edinburgh, United Kingdom;School of Informatics, University of Edinburgh, Edinburgh, United Kingdom;School of Informatics, University of Edinburgh, Edinburgh, United Kingdom;School of Informatics, University of Edinburgh, Edinburgh, United Kingdom;School of Informatics, University of Edinburgh, Edinburgh, United Kingdom
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2013

Citing 4
Cited 0

Anytime, anywhere: modal logics for mobile ambients

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present two process algebra models of a Kai-protein based circadian clock. Our models are represented in the Bio-PEPA and the continuous pi-calculus process algebras. The circadian clock is not based on transcription and has been shown to persist with a rhythmic signal when removed from a living cell. Our models allow us to speculate as to the mechanisms which allow for the rhythmic signals. We reproduce previous results based on ODE models and then use our models as the basis for stochastic simulation.