The Continuous π-Calculus: A Process Algebra for Biochemical Modelling | Zendy

Marek Kwiatkowski | Zendy; Ian Stark | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Continuous π-Calculus: A Process Algebra for Biochemical Modelling

Author(s) -

Marek Kwiatkowski,

Ian Stark

Publication year - 2008

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/978-3-540-88562-7_11

Subject(s) - process calculus , computer science , rotation formalisms in three dimensions , semantics (computer science) , modular design , operational semantics , succinctness , theoretical computer science , process (computing) , calculus (dental) , algebra over a field , artificial intelligence , programming language , mathematics , pure mathematics , medicine , geometry , dentistry

We introduce the continuous π -calculus, a process algebra for modelling behaviour and variation in molecular systems. Key features of the language are: its expressive succinctness; support for diverse interaction between agents via a flexible network of molecular affinities; and operational semantics for a continuous space of processes. This compositional semantics also gives a modular way to generate conventional differential equations for system behaviour over time. We illustrate these features with a model of an existing biological system, a simple oscillatory pathway in cyanobacteria. We then discuss future research directions, in particular routes to applying the calculus in the study of evolutionary properties of biochemical pathways.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research