Author of the publication

Process Algebra Models of Population Dynamics.

, , and . AB, volume 5147 of Lecture Notes in Computer Science, page 139-155. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease., and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 404-414. Springer, (2003)Process Algebra Models of Population Dynamics., , and . AB, volume 5147 of Lecture Notes in Computer Science, page 139-155. Springer, (2008)Thresholds for disease persistence in models for tick-borne infections including non-viraemic transmission, extended feeding and tick aggregation., , , and . Journal of Theoretical Biology, 224 (3): 359--376 (October 2003)EFSA.Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra., , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 101-115. Springer, (2012)A rigorous approach to investigating common assumptions about disease transmission., , , and . Theory Biosci., 130 (1): 19-29 (2011)From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology., , and . Math. Comput. Sci., 2 (3): 535-556 (2009)From individuals to populations: A mean field semantics for process algebra., , and . Theor. Comput. Sci., 412 (17): 1557-1580 (2011)Improved Continuous Approximation of PEPA Models through Epidemiological Examples., , , , and . FBTC@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 59-74. Elsevier, (2008)