A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Stochastic Process Algebra Models of a Circadian Clock
2006
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.
doi:10.4230/dagsemproc.06161.10
fatcat:xpwe2ph5vvdrrohjbfmn7eexgm