Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Formal methods for biochemical signalling pathways

Calder, Muffy and Gilmore, S. and Hillston, Jane and Vyshemirsky, Vladislav (2010) Formal methods for biochemical signalling pathways. In: Formal Methods: State of the Art and New Directions. Springer, London, pp. 185-215. ISBN 9781848827363

Full text not available in this repository. (Request a copy from the Strathclyde author)

Abstract

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.

Item type: Book Section
ID code: 36123
Keywords: formal methods, formal specification, refinement, semantics, Z notation, Electronic computers. Computer science
Subjects: Science > Mathematics > Electronic computers. Computer science
Department: Faculty of Science > Mathematics and Statistics
Related URLs:
Depositing user: Pure Administrator
Date Deposited: 25 Nov 2011 16:17
Last modified: 04 Oct 2012 16:37
URI: http://strathprints.strath.ac.uk/id/eprint/36123

Actions (login required)

View Item