Carron Shankland

Carron Shankland

University of Stirling - Stirling / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056496
person_outline Carron Shankland's MOST POPULAR ARTICLES
1-) A symbolic semantics and bisimulation for full LOTOSM Calder, C ShanklandInternational Conference on Formal Techniques for Networked and Distributed …, 2001542001
2-) The tree identify protocol of IEEE 1394 in μCRLC Shankland, M van der ZwaagFormal Aspects of Computing 10, 509-531, 1998461998
3-) A modal logic for full LOTOS based on symbolic transition systemsM Calder, S Maharaj, C ShanklandThe Computer Journal 45 (1), 55-61, 2002442002
4-) Waning immunity is associated with periodic large outbreaks of mumps: a mathematical modeling study of Scottish dataD Hamami, R Cameron, KG Pollock, C ShanklandFrontiers in Physiology 8, 233, 2017432017
5-) Process algebra models of population dynamicsC McCaig, R Norman, C ShanklandInternational Conference on Algebraic Biology, 139-155, 2008282008