Formal methods for biochemical signalling pathways

Calder, M. , Gilmore, S., Hillston, J. and Vyshemirsky, V. (2009) Formal methods for biochemical signalling pathways. In: Boca, P., Bowen, J. P. and Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions. Springer, pp. 185-215. ISBN 9781848827356

Full text not currently available from Enlighten.

Publisher's URL:


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 Sections
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy and Vyshemirsky, Dr Vladislav
Authors: Calder, M., Gilmore, S., Hillston, J., and Vyshemirsky, V.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
441081SIGNAL - stochastic process algebra for biochemical signalling pathway analysisMuffy CalderEngineering & Physical Sciences Research Council (EPSRC)EP/E028519/1Computing Science