( en | de | ru )

 

Disambiguation of "Shankland, Carron"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Carron Claire Elizabeth Johnson

 

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)Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge., , and . AAAI, page 676-681. AAAI Press / The MIT Press, (2005)Implementing a Modal Logic over Data and Processes using XTL., and . FORTE, volume 197 of IFIP Conference Proceedings, page 201-218. Kluwer, (2001)From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology., , and . Math. Comput. Sci., 2 (3): 535-556 (2009)A rigorous approach to investigating common assumptions about disease transmission., , , and . Theory Biosci., 130 (1): 19-29 (2011)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)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)