Carron Shankland

MaRDI QIDQ542017zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Using process algebra to develop predator-prey models of within-host parasite dynamics Journal of Theoretical Biology	2016-02-11	Paper
Improved continuous approximation of PEPA models through epidemiological examples Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra FM 2012: Formal Methods	2012-11-08	Paper
A symbolic investigation of superspreaders Bulletin of Mathematical Biology	2011-06-08	Paper
From individuals to populations: a mean field semantics for process algebra Theoretical Computer Science	2011-03-29	Paper
From individuals to populations: a symbolic process algebra approach to epidemiology Mathematics in Computer Science	2011-02-19	Paper
Process Algebra Models of Population Dynamics Algebraic Biology	2009-02-03	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
IEEE 1394 tree identify protocol: Introduction to the case study Formal Aspects of Computing	2003-08-27	Paper
But what if I don't want to wait forever? Formal Aspects of Computing	2003-08-27	Paper
A Modal Logic for Full LOTOS based on Symbolic Transition Systems The Computer Journal	2003-04-06	Paper
scientific article; zbMATH DE number 1693439 (Why is no real title available?)	2002-01-22	Paper
A survey of formal methods applied to leader election in IEEE 1394 Journal of Universal Computer Science	2001-05-10	Paper
The tree identify protocol of IEEE 1394 in \(\mu\)CRL Formal Aspects of Computing	1999-12-06	Paper

Research outcomes over time

This page was built for person: Carron Shankland