Book Chapter

Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease

Details

Citation

Norman R & Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-Díaz R & Pichler F (eds.) Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers. Lecture Notes in Computer Science, 2809. Berlin and Heidelberg: Springer, pp. 404-414. http://www.springerlink.com/content/qe3bvr3gndrv4etd/; https://doi.org/10.1007/978-3-540-45210-2_37

Abstract
We introduce a series of descriptions of disease spread using the process algebra WSCCS and compare the derived mean field equations with the traditional ordinary differential equation model. Even the preliminary work presented here brings to light interesting theoretical questions about the "best" way to defined the model.

StatusPublished
Title of seriesLecture Notes in Computer Science
Number in series2809
Publication date31/12/2003
URLhttp://hdl.handle.net/1893/7712
PublisherSpringer
Publisher URLhttp://www.springerlink.com/content/qe3bvr3gndrv4etd/
Place of publicationBerlin and Heidelberg
ISSN of series0302-9743
ISBN3-540-20221-8

People (1)

People

Professor Rachel Norman

Professor Rachel Norman

Chair in Food Security & Sustainability, Mathematics

Research centres/groups