Jeremy T. Bradley, Thomas Thorne
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: 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/
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.