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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, R., May, R.: The population dynamics of microparasites and their invertebrate hosts. Philosophical transactions of the Royal Society 291, 451–524 (1981)
Rand, D., Keeling, M., Wilson, H.: Invasion, stability and evolution to criticality in spatially extended, artificial host-pathogen ecology. Proceedings of the Royal Society of London Series B 259, 55–63 (1995)
Sato, K., Matsuda, H., Sasaki, A.: Pathogen invasion and host extinction in lattice structured populations. Journal of Mathematical Biology 32, 251–268 (1994)
Boots, M., Sasaki, A.: Small worlds and the evolution of virulence: infection occurs locally and at a distance. Proceedings of the Royal Society of London Series B 266, 1933–1938 (1999)
Tofts, C.: Processes with probabilities, priority and time. Formal Aspects of Computing 6, 536–564 (1994)
Tofts, C.: Describing social insect behaviour using process algebra. Transaction of the Society for Computer Simulation, 227–283 (1993)
Sumpter, D.: From Bee to Society: an agent-based investigation of honeybee colonies. PhD thesis, UMIST (2000)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. EUROCAST 2003. Lecture Notes in Computer Science, vol 2809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45210-2_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-45210-2_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20221-9
Online ISBN: 978-3-540-45210-2
eBook Packages: Springer Book Archive