2026-07-17T17:04:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:705 2024-03-06T11:06:51Z ddc:004 open_access

Stochastic Process Algebra Models of a Circadian Clock Bradley, Jeremy T. Thorne, Thomas Stochastic process algebras ODEs 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 $pi$-calculus. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jeremy T. Bradley and Thomas Thorne 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06161.10 urn:nbn:de:0030-drops-7050 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.10 eng https://creativecommons.org/licenses/by/4.0/legalcode