Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic

Christopher Banks, Daniel D. Seaton, Ian Stark

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publicationComputational Methods in Systems Biology
Subtitle of host publication13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings
PublisherSpringer International Publishing
Pages222-238
Number of pages17
ISBN (Electronic)978-3-319-23401-4
ISBN (Print)978-3-319-23400-7
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science
Volume9308
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic'. Together they form a unique fingerprint.

Cite this