We describe the modelling of a post-translational oscillator using a process algebra and the specification of complex properties of its dynamics using a spatio-temporal logic. We show that specifications in the Logic of Behaviour in Context can be seen as hypotheses about oscillations and other biochemical behaviours, to be tested automatically by model-checking software. By using these techniques we show that the theoretical model behaves in a manner in keeping with known properties of biological circadian oscillators.
CITATION STYLE
Banks, C. J., Seaton, D. D., & Stark, I. (2015). Analysis of a post-translational oscillator using process algebra and spatio-temporal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9308, pp. 222–238). Springer Verlag. https://doi.org/10.1007/978-3-319-23401-4_19
Mendeley helps you to discover research relevant for your work.