Formal Methods for Biochemical Signalling Pathways

Muffy Calder, Stephen Gilmore, Jane Hillston, Vladislav Vyshemirsky

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

We apply quantitative formal methods to a domain from the life sciences: biochemical signalling pathways. The key idea is to model pathways as stochastic continuous time distributed systems. Components of the system are molecular species (rather than individual molecules) and are modelled by concurrent processes that interact with each other via biochemical reactions. Through an application, we show how high level languages and analysis techniques rooted in computer science theory add significantly to the analysis presently available to computational biologists.
Original languageEnglish
Title of host publicationFormal Methods: State of the Art and New Directions
EditorsPaul Boca, Jonathan P. Bowen, Jawed Siddiqi
PublisherSpringer London
Pages185-215
Number of pages31
ISBN (Electronic)978-1-84882-736-3
ISBN (Print)978-1-84882-735-6
DOIs
Publication statusPublished - 2010

Fingerprint

Dive into the research topics of 'Formal Methods for Biochemical Signalling Pathways'. Together they form a unique fingerprint.

Cite this