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]

@inproceedings{BradleyT06,
  title = {Stochastic Process Algebra Models of a Circadian Clock},
  author = {Jeremy T. Bradley and Thomas Thorne},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/705},
  tags = {process algebra,  algebra, process modeling},
  researchr = {https://researchr.org/publication/BradleyT06},
  cites = {0},
  citedby = {0},
  booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
  editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  volume = {06161},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}