Projects per year
Abstract / Description of output
We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed.
| Original language | English |
|---|---|
| Title of host publication | Transactions on Computational Systems Biology XI |
| Publisher | Springer |
| Pages | 1-25 |
| Number of pages | 25 |
| ISBN (Print) | 978-3-642-04185-3 |
| DOIs | |
| Publication status | Published - 2009 |
Fingerprint
Dive into the research topics of 'Process Algebra Modelling Styles for Biomolecular Processes'. Together they form a unique fingerprint.Projects
- 3 Finished
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research
-