Chris Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
In Proceedings of the Sixth International Workshop on Practical Applications of Stochastic Modelling PASM '12, Imperial College London, 17 September 2012. Electronic Notes in Theoretical Computer Science, to appear.
Fetch a preprint of the paper. Go to other papers, talks or home page.
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.
@Article{banks+:kai-pasm-2012,
author = {Chris Banks and Allan Clark and Anastasis Georgoulas and
Stephen Gilmore and Jane Hillston and Dimitrios Milios and
Ian Stark},
title = {Stochastic Modelling of the Kai-based Circadian Clock},
journal = {Electronic Notes in Theoretical Computer Science},
year = {to appear},
publisher = {Elsevier},
url = {http://homepages.ed.ac.uk/stark/kai-pasm-2012.html},
pdf = {http://homepages.ed.ac.uk/stark/kai-pasm-2012.pdf},
note = {In \emph{Proceedings of the Sixth International Workshop on
Practical Applications of Stochastic Modelling PASM~'12,
Imperial College London, 17~September 2012}}
}