Stochastic Process Algebra Models of a Circadian Clock

Jeremy T. Bradley, Thomas Thorne, David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
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