Stochastic Process Algebra Models of a Circadian Clock

Jeremy T. Bradley, Thomas Thorne. Stochastic Process Algebra Models of a Circadian Clock. In David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher, editors, Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]

Authors

Jeremy T. Bradley

This author has not been identified. Look up 'Jeremy T. Bradley' in Google

Thomas Thorne

This author has not been identified. Look up 'Thomas Thorne' in Google