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 indi

First Author: Boca, Paul P.; Bowen, Jonathan P.; Siddiqi, Jawed I.
Attributed to:  SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Book Chapter

Book Title: Formal Methods: State of the Art and New Directions (2009)

Page Reference: 273

ISBN: 978-1-84882-735-6