Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA | p. 1 |
Gene regulation in the pi calculus : simulating cooperativity at the lambda switch | p. 24 |
From logical regulatory graphs to standard Petri nets : dynamical roles and functionality of feedback circuits | p. 56 |
Translating SBML models into the stochastic [Pi]-calculus for stochastic simulation | p. 73 |
Graph theory for rule-based modeling of biochemical networks | p. 89 |
Adapting biochemical Kripke structures for distributed model checking | p. 107 |
A graphical representation for biological processes in the stochastic pi-calculus | p. 123 |
On differentiation and homeostatic behaviours of Boolean dynamical systems | p. 153 |
A specification language and a framework for the execution of composite models in systems biology | p. 163 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.