Computing Publications

Publications Home » Stochastic Process Algebra Models...

Stochastic Process Algebra Models of a Circadian Clock

Jeremy T. Bradley, Thomas Thorne

Seminar
Simulation and Verification of Dynamic Systems, Dagstuhl
September, 2006
Dagstuhl Seminar Proceedings
Volume 6161
ISSN 1862-4405
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.

Notes

Available at: http://drops.dagstuhl.de/opus/volltexte/2006/705/

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: http://pubs.doc.ic.ac.uk/circadian/

PDF of full publication (219 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.