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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2809, Issue , 2004, Pages 404-414

  Norman, R ^a   Shankland, C ^a  

^a UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DIFFERENTIAL EQUATIONS; SYSTEM THEORY;

DISEASE SPREAD; INFECTIOUS DISEASE; MEAN FIELD EQUATION; ORDINARY DIFFERENTIAL EQUATION MODELS; PROCESS ALGEBRAS;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 0242339708     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (8)

1. Anderson, R., May, R.: The population dynamics of microparasites and their invertebrate hosts. Philosophical transactions of the Royal Society 291 (1981) 451-524
2. 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 (1995) 55-63
3. Sato, K., Matsuda, H., Sasaki, A.: Pathogen invasion and host extinction in lattice structured populations. Journal of Mathematical Biology 32 (1994) 251-268
4. 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 (1999) 1933-1938
5. Tofts, C.: Processes with probabilities, priority and time. Formal Aspects of Computing 6 (1994) 536-564
6. Tofts, C.: Describing social insect behaviour using process algebra. Transaction of the Society for Computer Simulation (1993) 227-283
7. Sumpter, D.: From Bee to Society: an agent-based investigation of honeybee colonies. PhD thesis, UMIST (2000)
8. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)