Scott E, Mahajan SM, Brand-Spencer T, Allen JE, Norman R, Graham AL & Shankland C (2010) Modelling Immunological Systems using PEPA: a preliminary report. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), London, UK, 06.09.2010-07.09.2010. http://aesop.doc.ic.ac.uk/conferences/pasta/2010
We present preliminary work on modelling aspects of the immune system using process algebra. The problem addressed is how T-helper cell populations respond to co-infections with parasites making conflicting immunological demands. Our goal is to build PEPA models of alternative hypotheses around T-helper cell behaviour and to evaluate those with respect to experimental data.