Benkirane, Soufiene; Norman, Rachel; Scott, Erin; Shankland, Carron Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra. (English) Zbl 1373.92118 Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 101-115 (2012). MSC: 92D30 68Q85 PDFBibTeX XMLCite \textit{S. Benkirane} et al., Lect. Notes Comput. Sci. 7436, 101--115 (2012; Zbl 1373.92118) Full Text: DOI
Benkirane, Soufiene; Hillston, Jane; Mccaig, Chris; Norman, Rachel; Shankland, Carron Improved continuous approximation of PEPA models through epidemiological examples. (English) Zbl 1283.92064 Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 59-74 (2009). MSC: 92D30 34C60 68Q85 PDFBibTeX XMLCite \textit{S. Benkirane} et al., Electron. Notes Theor. Comput. Sci. 229, No. 1, 59--74 (2009; Zbl 1283.92064) Full Text: DOI