Travelled to:1 × France
1 × Germany
Collaborated with:M.Calder S.Maharaj S.Benkirane R.Norman E.Scott
Talks about:process (1) algebra (1) histor (1) explor (1) epidem (1) diseas (1) measl (1) logic (1) dynam (1) adequ (1)
Person: Carron Shankland
DBLP: Shankland:Carron
Contributed to:
20122001Wrote 2 papers:
- FM-2012-BenkiraneNSS #algebra #process #using
- Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra (SB, RN, ES, CS), pp. 101–115.
- FME-2001-CalderMS #logic
- An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.