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

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

4 Figures and Tables

Topics

  • Presentations referencing similar topics