University of Birmingham > Talks@bham > Theoretical computer science seminar > The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

## The Continuous π-Calculus: A Process Algebra for Biochemical ModellingAdd to your list(s) Download to your calendar using vCal - Ian Stark, University of Edinburgh
- Friday 26 February 2010, 14:00-15:00
- UG40 Computer Science.
If you have a question about this talk, please contact Paul Levy. Systems biology is the study of dynamic processes within living organisms, in particular addressing the behaviour that emerges from interactions between components. One potential contribution to this from theoretical computer science lies in the range of existing languages and techniques for working with concurrent systems. Several groups are pursuing this, with biological applications for various process algebras. In this talk I present joint work with Marek Kwiatkowski on a continuous pi-calculus, intended to model protein-protein intracellular reactions and in particular issues around the evolution of biochemical pathways. The calculus is succinct and expressive, supporting the modular description of biochemical systems as networks of interacting processes. Process behaviour is given by a compositional semantics in ordinary differential equations, already widely used for modelling biological systems and amenable to standard numerical analysis. This gives us a continuous space of processes, within which we can explore the effect of variation in the original system, looking at questions of robustness, neutrality and evolvability. To illustrate this, I shall describe a model of a circadian clock in the blue-green algae Synechococcus Elongatus; this is a simple oscillatory pathway whose detailed mechanism is the subject of current research. Marek Kwiatkowski and Ian Stark. The Continuous pi-Calculus: a Process Algebra for Biochemical Modelling. LNCS 5307 :103-122. http://homepages.ed.ac.uk/stark/continuous-pi.html This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- UG40 Computer Science
Note that ex-directory lists are not shown. |
## Other listsHuman Computer Interaction seminars Theoretical Physics Journal Club Lab Lunch## Other talksOpen slot Open slot Gromov-Hausdorff-Prokhorov convergence of vertex cut-trees of n-leaf Galton-Watson trees TBC TBD TBC |