Edinburgh Research Explorer

Stochastic Modelling of the Kai-based Circadian Clock

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).
PublisherElsevier
Pages43-60
Number of pages18
Volume296
DOIs
Publication statusPublished - 17 Sep 2012
EventSixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC) - UK, London, United Kingdom
Duration: 1 Sep 2012 → …

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0661

Conference

ConferenceSixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC)
CountryUnited Kingdom
CityLondon
Period1/09/12 → …

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.

Download statistics

No data available

ID: 5476614