Carron Shankland

Available identifiers

Publication	Date of Publication	Type
Using process algebra to develop predator-prey models of within-host parasite dynamics	2016-02-11	Paper
Improved Continuous Approximation of PEPA Models through Epidemiological Examples	2014-03-21	Paper
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra	2012-11-08	Paper
A symbolic investigation of superspreaders	2011-06-08	Paper
From individuals to populations: a mean field semantics for process algebra	2011-03-29	Paper
From individuals to populations: a symbolic process algebra approach to epidemiology	2011-02-19	Paper
Process Algebra Models of Population Dynamics	2009-02-03	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
IEEE 1394 tree identify protocol: Introduction to the case study	2003-08-27	Paper
But what if I don't want to wait forever?	2003-08-27	Paper
A Modal Logic for Full LOTOS based on Symbolic Transition Systems	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q2763982	2002-01-22	Paper
A survey of formal methods applied to leader election in IEEE 1394	2001-05-10	Paper
The tree identify protocol of IEEE 1394 in \(\mu\)CRL	1999-12-06	Paper

This page was built for person: Carron Shankland