Stochastic Process Algebra Models of a Circadian Clock

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 -calculus.

• Type: Conference
• Year: 2006
• Where: DAGSTUHL
• Authors: Jeremy T. Bradley, Thomas Thorne
• Keywords: Circadian Clock Mechanism, DAGSTUHL 2006, DAGSTUHL 2007, Stochastic Process Algebra, Time-based Behaviour