@inproceedings{6c660b1a70964dbc9e8623d7c870ceea,

title = "The Continuous π-Calculus: A Process Algebra for Biochemical Modelling",

abstract = "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.",

author = "Marek Kwiatkowski and Ian Stark",

year = "2008",

doi = "10.1007/978-3-540-88562-7_11",

language = "English",

isbn = "978-3-540-88561-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "103--122",

editor = "Monika Heiner and Adelinde Uhrmacher",

booktitle = "Computational Methods in Systems Biology",

}