📣 Try out the NEW Gateway to Research and let us know what you think.

We're looking for users to test the new service during August and September and share their feedback. Express your interest by completing this short form.

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