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


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… (More)

4 Figures and Tables


  • Presentations referencing similar topics