Computing Publications

Publications Home » Stochastic Process Algebra Models...

Stochastic Process Algebra Models of a Circadian Clock

Jeremy T. Bradley, Thomas Thorne

Simulation and Verification of Dynamic Systems, Dagstuhl
September, 2006
Dagstuhl Seminar Proceedings
Volume 6161
ISSN 1862-4405

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.


Available at:

This was an early version of an EPEW 2008 paper. This seminar paper only discussed modelling approaches and contained no actual analysis or validation. For more information see:

PDF of full publication (219 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.