Project
–
Funded by .
Total award value ?331,445.00
Chair in Food Security & Sustainability, Mathematics
Article
Using process algebra to develop predator-prey models of within-host parasite dynamics
McCaig C, Fenton A, Graham A, Shankland C & Norman R (2013) Using process algebra to develop predator-prey models of within-host parasite dynamics. Journal of Theoretical Biology, 329, pp. 74-81. https://doi.org/10.1016/j.jtbi.2013.03.001
Conference Paper (published)
Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra
Benkirane S, Norman R, Scott E & Shankland C (2012) Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra. In: Giannakopoulou D & Mery D (eds.) FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science, 7436. FM 2012: Formal Methods 18th International Symposium, Paris, France, 27.08.2012-31.08.2012. Berlin Heidelberg: Springer-Verlag, pp. 101-115. http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_11; https://doi.org/10.1007/978-3-642-32759-9_11