Carron Shankland

Available identifiers

zbMath Open shankland.carronWikidataQ59690627 ScholiaQ59690627MaRDI QIDQ542017

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2709226	2001-05-10	Paper
The tree identify protocol of IEEE 1394 in \(\mu\)CRL	1999-12-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carron Shankland