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

Marek Kwiatkowski, Ian Stark

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationComputational Methods in Systems Biology
EditorsMonika Heiner, Adelinde Uhrmacher
PublisherSpringer-Verlag GmbH
Number of pages20
ISBN (Print)978-3-540-88561-0
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'The Continuous π-Calculus: A Process Algebra for Biochemical Modelling'. Together they form a unique fingerprint.

Cite this