Output details
11 - Computer Science and Informatics
University of Stirling
Article title
From Individuals to Populations: a Symbolic Process Algebra Approach to Epidemiology.
Type
D - Journal article
Title of journal
Mathematics in Computer Science
Article number
-
Volume number
2
Issue number
3
First page of article
535
ISSN of journal
1661-8270
Year of publication
2009
URL
-
Number of additional authors
2
Additional information
<10> This paper explores the novel use of process algebra for population dynamics. The work arose from an EPSRC project entitled, “System Dynamics from Individual Interactions: A process algebra approach to epidemiology” (£343K, EP/E006280/1, Principal Investigator Shankland). It introduces a fluid flow technique for a probabilistic process algebra, providing a rigorous derivation of Ordinary Differential Equation models of populations based on explicit assumptions (as opposed to traditional Ordinary Differential Equation models which are based on implicit assumptions of the experienced mathematician).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-