Picture of neon light reading 'Open'

Discover open research at Strathprints as part of International Open Access Week!

23-29 October 2017 is International Open Access Week. The Strathprints institutional repository is a digital archive of Open Access research outputs, all produced by University of Strathclyde researchers.

Explore recent world leading Open Access research content this Open Access Week from across Strathclyde's many research active faculties: Engineering, Science, Humanities, Arts & Social Sciences and Strathclyde Business School.

Explore all Strathclyde Open Access research outputs...

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.