Bradley, Jeremy T. ;
Thorne, Thomas
Stochastic Process Algebra Models of a Circadian Clock
Abstract
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.
BibTeX - Entry
@InProceedings{bradley_et_al:DSP:2006:705,
author = {Jeremy T. Bradley and Thomas Thorne},
title = {Stochastic Process Algebra Models of a Circadian Clock},
booktitle = {Simulation and Verification of Dynamic Systems},
year = {2006},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
number = {06161},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2006/705},
annote = {Keywords: Stochastic process algebras, ODEs, Circadian clock}
}
|
Keywords: |
|
Stochastic process algebras, ODEs, Circadian clock |
|
Seminar: |
|
06161 - Simulation and Verification of Dynamic Systems
|
|
Issue date: |
|
2006 |
|
Date of publication: |
|
2006 |
2006
