Follow
Carron Shankland
Carron Shankland
Professor of Computing Science, University of Stirling
Verified email at cs.stir.ac.uk - Homepage
Title
Cited by
Cited by
Year
A symbolic semantics and bisimulation for full LOTOS
M Calder, C Shankland
Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001
522001
The tree identify protocol of IEEE 1394 in μCRL
C Shankland, M van der Zwaag
Formal Aspects of Computing 10, 509-531, 1998
461998
The tree identify protocol of IEEE 1394 in μCRL
C Shankland, M van der Zwaag
Formal Aspects of Computing 10, 509-531, 1998
461998
A modal logic for full LOTOS based on symbolic transition systems
M Calder, S Maharaj, C Shankland
The Computer Journal 45 (1), 55-61, 2002
442002
Waning immunity is associated with periodic large outbreaks of mumps: a mathematical modeling study of Scottish data
D Hamami, R Cameron, C Shankland
Frontiers in Physiology 8, 257981, 2017
372017
Process algebra models of population dynamics
C McCaig, R Norman, C Shankland
International Conference on Algebraic Biology, 139-155, 2008
282008
Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease
R Norman, C Shankland
International Conference on Computer Aided Systems Theory, 404-414, 2003
272003
From individuals to populations: A mean field semantics for process algebra
C McCaig, R Norman, C Shankland
Theoretical Computer Science 412 (17), 1557-1580, 2011
212011
Improved continuous approximation of PEPA models through epidemiological examples
S Benkirane, J Hillston, C McCaig, R Norman, C Shankland
Electronic Notes in Theoretical Computer Science 229 (1), 59-74, 2009
212009
An adequate logic for Full LOTOS
M Calder, S Maharaj, C Shankland
FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001
212001
Symbolic bisimulation for full LOTOS
C Shankland, M Thomas
International Conference on Algebraic Methodology and Software Technology …, 1997
211997
A symbolic investigation of superspreaders
C McCaig, M Begon, R Norman, C Shankland
Bulletin of Mathematical Biology 73, 777-794, 2011
192011
Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge
N Tran, C Baral, C Shankland
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 676, 2005
192005
From individuals to populations: A symbolic process algebra approach to epidemiology
C McCaig, R Norman, C Shankland
Mathematics in Computer Science 2 (3), 535-556, 2009
182009
But what if I don't want to wait forever?
C Fidge, C Shankland
Formal Aspects of Computing 14, 281-294, 2003
152003
Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra
S Benkirane, R Norman, E Scott, C Shankland
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
132012
A survey of formal methods applied to leader election in IEEE 1394
S Maharaj, C Shankland
Journal of Universal Computer Science 6 (11), 1145-1163, 2000
122000
A survey of formal methods applied to leader election in IEEE 1394
S Maharaj, C Shankland
Journal of Universal Computer Science 6 (11), 1145-1163, 2000
122000
A case study in abstraction using E-LOTOS and the FireWire
C Shankland, A Verdejo
Computer Networks 37 (3-4), 481-502, 2001
102001
Improving process algebra model structure and parameters in infectious disease epidemiology through data mining
D Hamami, B Atmani, R Cameron, KG Pollock, C Shankland
Journal of Intelligent Information Systems 52, 477-499, 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20