System Dynamics from Individual Interactions: A process algebra approach to epidemiology

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

• Publisher DOI
• Full Text

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

• Publisher DOI
• Full Text