Author of the publication

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)

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

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)Combating Infinite State Using Ergo., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)Symbolic Bisimulation for Full LOTOS., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 479-493. Springer, (1997)From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology., , and . Math. Comput. Sci., 2 (3): 535-556 (2009)Implementing a Modal Logic over Data and Processes using XTL., and . FORTE, volume 197 of IFIP Conference Proceedings, page 201-218. Kluwer, (2001)A rigorous approach to investigating common assumptions about disease transmission., , , and . Theory Biosci., 130 (1): 19-29 (2011)Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge., , and . AAAI, page 676-681. AAAI Press / The MIT Press, (2005)Process Algebra Models of Population Dynamics., , and . AB, volume 5147 of Lecture Notes in Computer Science, page 139-155. Springer, (2008)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 with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy., , , , and . CIBB, volume 10477 of Lecture Notes in Computer Science, page 118-133. Springer, (2016)