Process calculi for systems biology

Authors:
Caroline Baroukh;Anthony Rowe;Yike Guo
Affiliations:
Imperial College London, London;Imperial College London, London;Imperial College London, London
Venue:
Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
Year:
2010

Citing 2
Cited 0

A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this poster we summarise our current work on using Process Calculi for the modelling and analysis of biological pathways in context of better understanding respiratory disease. We present and highlight key features of some of the different Process Calculi that have been used for the modelling of biological pathways. Finally we describe the process we are using to define pathway models identified as important in respiratory disease.