Abstract / Description of output
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 language | English |
---|---|
Title of host publication | Computational Methods in Systems Biology |
Subtitle of host publication | 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings |
Publisher | Springer |
Pages | 222-238 |
Number of pages | 17 |
ISBN (Electronic) | 978-3-319-23401-4 |
ISBN (Print) | 978-3-319-23400-7 |
DOIs | |
Publication status | Published - 2015 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 9308 |
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.Profiles
-
Ian Stark
- School of Informatics - Senior Lecturer
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active