Conference Proceeding
Participant-centred planning Framework for effective gender balance activities in tech
Taylor-Smith E, Barnett C, Smith S, Barr M & Shankland C (2022) Participant-centred planning Framework for effective gender balance activities in tech. In: Quille K, Maguire J & Becker B (eds.) UKICER2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin Ireland, 01.09.2022-02.09.2022. New York: ACM, pp. 1-7. https://doi.org/10.1145/3555009.3555016
Conference Proceeding
Effective use of evolutionary computation to parameterise an epidemiological model
Mitchell R, Cairns D, Hamami D, Pollock K & Shankland C (2021) Effective use of evolutionary computation to parameterise an epidemiological model. In: Cazzaniga P, Besozzi D, Merelli I & Manzoni L (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics. Lecture Notes in Computer Science, 12313. CIBB 2019: 16th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Bergamo, Italy, 04.09.2019-06.09.2019. Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-030-63061-4_3
Article
Improving process algebra model structure and parameters in infectious disease epidemiology through data mining
Hamami D, Atmani B, Cameron R, Pollock KG & Shankland C (2019) Improving process algebra model structure and parameters in infectious disease epidemiology through data mining. Journal of Intelligent Information Systems, 52 (3), pp. 477-499. https://doi.org/10.1007/s10844-017-0476-1
Conference Proceeding
Process Algebra with Layers: Multi-scale Integration Modelling applied to Cancer Therapy
Scott E, Nicol J, Coulter J, Hoyle A & Shankland C (2017) Process Algebra with Layers: Multi-scale Integration Modelling applied to Cancer Therapy. In: Bracciali A, Caravagna G, Gilbert D & Tagliaferri R (eds.) Computational Intelligence Methods for Bioinformatics and Biostatistics. CIBB 2016. Lecture Notes in Computer Science, 10477. CIBB2016: 13th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Stirling, UK, 01.09.2016-03.09.2016. Cham, Switzerland: Springer, pp. 118-133. https://doi.org/10.1007/978-3-319-67834-4_10
Article
Decision Support Based on Bio-PEPA Modeling and Decision Tree Induction: A New Approach, Applied to a Tuberculosis Case Study
Hamami D, Baghdad A & Shankland C (2017) Decision Support Based on Bio-PEPA Modeling and Decision Tree Induction: A New Approach, Applied to a Tuberculosis Case Study. International Journal of Information Systems in the Service Sector, 9 (2), pp. 71-101. https://doi.org/10.4018/IJISSS.2017040104
Article
Waning immunity is associated with periodic large outbreaks of mumps: a mathematical modeling study of Scottish data
Hamami D, Cameron R, Pollock KG & Shankland C (2017) Waning immunity is associated with periodic large outbreaks of mumps: a mathematical modeling study of Scottish data. Frontiers in Physiology, 8, Art. No.: 233. https://doi.org/10.3389/fphys.2017.00233
Newspaper Article
Ada Lovelace blazed a trail in science – we need more women to follow in her footsteps
Shankland C (2016) Ada Lovelace blazed a trail in science – we need more women to follow in her footsteps. The Conversation. 11.10.2016. https://theconversation.com/ada-lovelace-blazed-a-trail-in-science-we-need-more-women-to-follow-in-her-footsteps-66661
Conference Proceeding
Process Algebra with Layers: A Language for Multi-scale Integration Modelling, Illustrated by a Cell Cycle and DNA Damage Case Study
Scott E, Hoyle A & Shankland C (2016) Process Algebra with Layers: A Language for Multi-scale Integration Modelling, Illustrated by a Cell Cycle and DNA Damage Case Study. In: Bracciali A & Caravagna G (eds.) Proceedings of Computational Intelligence Methods for Bioinformatics and Biostatistics. 13th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Stirling, 01.09.2016-03.09.2016. Stirling: University of Stirling, pp. 240-246. http://www.cs.stir.ac.uk/events/cibb2016/index.html
Other
Who will be first to get Gold?
Shankland C (2016) Who will be first to get Gold?. ITNOW, 58 (2), pp. 14-15. http://itnow.oxfordjournals.org/content/58/2/14.abstract
Conference Proceeding
Using process algebra to model radiation induced bystander effects
Lintott R, McMahon S, Prise K, Addie-Lagorio C & Shankland C (2014) Using process algebra to model radiation induced bystander effects. In: Mendes P, Dada J & Smallbone K (eds.) Computational Methods in Systems Biology: 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Lecture Notes in Computer Science, 8859. Computational Methods in Systems Biology 2014, Manchester, UK, 17.11.2014-19.11.2014. Cham, Switzerland: Springer International Publishing, pp. 196-210. https://doi.org/10.1007/978-3-319-12982-2_14
Conference Paper
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, illustrated by a Pacific oyster case study
Scott E, Hoyle A & Shankland C (2013) PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, illustrated by a Pacific oyster case study. Bradley J (Editor), Heljanko K (Editor), Knottenbelt W (Editor) & Thomas N (Editor) PASM'12: Sixth International Workshop on Practical Applications of Stochastic Modelling, Imperial College London, UK, 17.09.2012-17.09.2012. Electronic Notes in Theoretical Computer Science, 296, pp. 211-228. https://doi.org/10.1016/j.entcs.2013.07.014
Article
Using process algebra to develop predator-prey models of within-host parasite dynamics
McCaig C, Fenton A, Graham A, Shankland C & Norman R (2013) Using process algebra to develop predator-prey models of within-host parasite dynamics. Journal of Theoretical Biology, 329, pp. 74-81. https://doi.org/10.1016/j.jtbi.2013.03.001
Conference Proceeding
Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra
Benkirane S, Norman R, Scott E & Shankland C (2012) Measles epidemics and PEPA: An exploration of historic disease dynamics using process algebra. In: Giannakopoulou D & Mery D (eds.) FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science, 7436. FM 2012: Formal Methods 18th International Symposium, Paris, France, 27.08.2012-31.08.2012. Berlin Heidelberg: Springer-Verlag, pp. 101-115. http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_11; https://doi.org/10.1007/978-3-642-32759-9_11
Conference Proceeding
Evolving Bio-PEPA process algebra models using genetic programming
Marco D, Shankland C & Cairns D (2012) Evolving Bio-PEPA process algebra models using genetic programming. In: Proc. of the 14th International Conference on Genetic and Evolutionary Computation (GECCO). GECCO, 14. Fourteenth International Conference on Genetic and Evolutionary Computation conference (GECCO) 2012, Philadelphia, USA, 07.07.2012-11.07.2012. New York, NY, USA: ACM, pp. 177-184. http://doi.acm.org/10.1145/2330163.2330189; https://doi.org/10.1145/2330163.2330189
Conference Proceeding
Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach
Marco D, Scott E, Cairns D, Graham A, Allen JE, Mahajan SM & Shankland C (2012) Investigating co-infection dynamics through evolution of Bio-PEPA model parameters: a combined process algebra and evolutionary computing approach. In: Gilbert D & Heiner M (eds.) Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Lecture Notes in Computer Science, 7605. The 10th Conference on Computational Methods in Systems Biology, CMSB 2012, London, UK, 03.10.2012-05.10.2012. Berlin Heidelberg: Springer-Verlag, pp. 227-246. http://sites.brunel.ac.uk/cmsb2012; https://doi.org/10.1007/978-3-642-33636-2_14
Conference Proceeding
Optimisation of Process Algebra Models Using Evolutionary Computation
Marco D, Cairns D & Shankland C (2011) Optimisation of Process Algebra Models Using Evolutionary Computation. In: IEEE Congress on Evolutionary Computation (CEC), 2011. IEEE Congress on Evolutionary Computation (CEC) IEEE Congress on Evolutionary Computation, Singapore, 05.06.2011-08.06.2011. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), pp. 1296-1301. https://doi.org/10.1109/CEC.2011.5949765
Article
From Individuals to Populations: a mean field semantics for process algebra
McCaig C, Norman R & Shankland C (2011) From Individuals to Populations: a mean field semantics for process algebra. Theoretical Computer Science, 412 (17), pp. 1557-1580. http://www.sciencedirect.com/science/journal/03043975; https://doi.org/10.1016/j.tcs.2010.09.024
Article
A Symbolic Investigation of Superspreaders
McCaig C, Begon M, Norman R & Shankland C (2011) A Symbolic Investigation of Superspreaders. Bulletin of Mathematical Biology, 73 (4), pp. 777-794. https://doi.org/10.1007/s11538-010-9603-7
Article
A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology
McCaig C, Begon M, Norman R & Shankland C (2011) A rigorous approach to investigating common assumptions about disease transmission: Process algebra as an emerging modelling methodology for epidemiology. Theory in Biosciences, 130 (1), pp. 19-29. http://www.springerlink.com/content/1431-7613/; https://doi.org/10.1007/s12064-010-0106-8
Conference Paper (unpublished)
Modelling Immunological Systems using PEPA: a preliminary report
Scott E, Mahajan SM, Brand-Spencer T, Allen JE, Norman R, Graham AL & Shankland C (2010) Modelling Immunological Systems using PEPA: a preliminary report. 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), London, UK, 06.09.2010-07.09.2010. http://aesop.doc.ic.ac.uk/conferences/pasta/2010
Conference Paper
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Benkirane S, Hillston J, McCaig C, Norman R & Shankland C (2009) Improved Continuous Approximation of PEPA Models through Epidemiological Examples. From Biology To Concurrency and back (FBTC 2008), A Satellite Workshop of ICALP 2008, 12.07.2008-12.07.2008. Electronic Notes in Theoretical Computer Science, 229 (1), pp. 59-74. https://doi.org/10.1016/j.entcs.2009.02.005
Conference Proceeding
Modelling the bubonic plague in a prairie dog burrow: a work in progress
Benkirane S, Shankland C, Norman R & McCaig C (2009) Modelling the bubonic plague in a prairie dog burrow: a work in progress. In: Clark A & Guerriero M (eds.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009. PASTA 2009 - 8th Workshop on Process Algebra and Stochastically Timed Activities, Edinburgh, UK, 26.08.2009-27.08.2009. Edinburgh, UK: University of Edinburgh, pp. 145-152. http://www.cs.stir.ac.uk/~sbk/PASTA2009.pdf
Conference Proceeding
Studying the effects of adding spatiality to a process algebra model
Maharaj S, McCaig C & Shankland C (2009) Studying the effects of adding spatiality to a process algebra model. In: Clark A & Guerriero M (eds.) 8th Workshop on Process Algebra and Stochastically Timed Activities: PASTA 2009. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, Edinburgh, 26.08.2009-26.08.2009. Edinburgh, UK: University of Edinburgh, pp. 153-158. http://www.dcs.ed.ac.uk/pepa/group/pastaworkshop/PASTA09/proceedings.pdf
Conference Paper (unpublished)
From individual behaviour to population dynamics: changing scale in models of superspreaders
McCaig C, Begon M, Shankland C & Norman R (2009) From individual behaviour to population dynamics: changing scale in models of superspreaders. 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009): Edinburgh, UK, Edinburgh, 26.08.2009-26.08.2009.
Article
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology
McCaig C, Norman R & Shankland C (2009) From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. Mathematics in Computer Science, 2 (3), pp. 535-556. http://www.springerlink.com/content/1661-8270/; https://doi.org/10.1007/s11786-008-0066-2
Conference Proceeding
Process Algebra Models of Population Dynamics
McCaig C, Norman R & Shankland C (2008) Process Algebra Models of Population Dynamics. In: Horimoto K, Regensburger G, Rosenkranz M & Yoshida H (eds.) Algebraic Biology. Lecture Notes in Computer Science, 5147. Algebraic Biology 2008, Castle of Hagenberg, Austria, 31.07.2008-02.08.2008. Berlin Heidelberg: Springer, pp. 139-155. http://www.springerlink.com/content/y26143833jl82307/?MUD=MP; https://doi.org/10.1007/978-3-540-85101-1
Technical Report
Deriving Mean Field Equations from Large Process Algebra Models
McCaig C, Norman R & Shankland C (2008) Deriving Mean Field Equations from Large Process Algebra Models. Technical Report CSM, 175. Department of Computing Science and Mathematics, University of Stirling.
Other
Theoretical Computer Science
Maharaj S (Editor), Shankland C (Editor) & Rattray C (Editor) (2006) Theoretical Computer Science. Theoretical Computer Science, 351 (2). http://www.sciencedirect.com/science/journal/03043975/351/2
Conference Proceeding
Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge
Tran N, Baral C & Shankland C (2005) Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In: Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005), volume 2.
Pittsburgh, PA, 09.07.2005-13.07.2005. Pittsburgh PA: AAAI Press, pp. 676-681. http://www.aaai.org/Press/Proceedings/aaai05.php
Conference Proceeding
Reasoning about the ERK signal transduction pathway using BioSigNet-RR
Baral C, Kolch W, Shankland C & Tran N (2005) Reasoning about the ERK signal transduction pathway using BioSigNet-RR. In: Computational Methods in Systems Biology, CMSB 2005. Lecture Notes in Computer Science. Computational Methods in Systems Biology International Conference CMSB 2005, Edinburgh, Scotland, 03.04.2005-05.04.2005. Berlin Heidelberg: Springer, pp. 79-90. http://aesop.doc.ic.ac.uk/conferences/cmsb/2005
Conference Proceeding
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
Rattray C, Maharaj S & Shankland C (eds.) (2004) Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin Heidelberg: Springer.
Conference Proceeding
Expressing iterative properties logically in a symbolic setting
Shankland C, Bryans J & Morel L (2004) Expressing iterative properties logically in a symbolic setting. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology: Proceedings. Lecture Notes in Computer Science, 3116.
Stirling, Scotland, 12.07.2004-16.07.2004. Berlin Heidelberg: Springer, pp. 460-474. http://link.springer.com/chapter/10.1007%2F978-3-540-27815-3_35; https://doi.org/10.1007/978-3-540-27815-3_35
Book Chapter
Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease
Norman R & Shankland C (2003) Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease. In: Moreno-Díaz R & Pichler F (eds.) Computer Aided Systems Theory - EUROCAST 2003
9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers. Lecture Notes in Computer Science, 2809. Berlin and Heidelberg: Springer, pp. 404-414. http://www.springerlink.com/content/qe3bvr3gndrv4etd/; https://doi.org/10.1007/978-3-540-45210-2_37
Conference Proceeding
Combating infinite state using ergo
Robinson P & Shankland C (2003) Combating infinite state using ergo. In: Konig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - FORTE 2003. Lecture Notes in Computer Science, 2767.
Berlin, Germany, 29.09.2003-02.10.2003. Berlin Heidelberg: Springer, pp. 144-159. http://link.springer.com/chapter/10.1007/978-3-540-39979-7_10; https://doi.org/10.1007/978-3-540-39979-7_10
Other
Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing
Cooke J (Editor), Maharaj S (Editor), Romijn J (Editor) & Shankland C (Editor) (2003) Formal Methods applied to IEEE 1394: A Comparative Case Study. Special issue of Formal Aspects of Computing. Formal Aspects of Computing, 14 (3). http://link.springer.com/journal/165/14/3
Article
IEEE 1394 Tree Identify Protocol: Introduction to the case study
Maharaj S, Romijn J & Shankland C (2003) IEEE 1394 Tree Identify Protocol: Introduction to the case study. Formal Aspects of Computing, 14 (3), pp. 200-214. https://doi.org/10.1007/s001650300001
Article
But what if I don't want to wait forever?
Fidge C & Shankland C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 (3), pp. 281-294. https://doi.org/10.1007/s001650300006
Article
A modal logic for Full LOTOS based on symbolic transition systems
Calder M, Maharaj S & Shankland C (2002) A modal logic for Full LOTOS based on symbolic transition systems. Computer Journal, 45 (1), pp. 55-61. https://doi.org/10.1093/comjnl/45.1.55
Conference Proceeding
A symbolic semantics and bisimulation for Full LOTOS
Calder M & Shankland C (2001) A symbolic semantics and bisimulation for Full LOTOS. In: Kim M, Chin B, Kang S & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, Vol. 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 185-200. http://link.springer.com/chapter/10.1007/0-306-47003-9_12
Conference Proceeding
An Adequate Logic for Full LOTOS
Calder M, Maharaj S & Shankland C (2001) An Adequate Logic for Full LOTOS. In: Oliveira J & Zave P (eds.) FME 2001: Formal Methods for Increasing Software Productivity. Lecture Notes in Computer Science, 2021. International Symposium of Formal Methods Europe, Berlin, Germany, 12.03.2001-16.03.2001. Berlin Heidelberg: Springer, pp. 384-395. http://link.springer.com/chapter/10.1007/3-540-45251-6_21
Conference Proceeding
IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard
Shankland C, Romijn J & Maharaj S (eds.) (2001) IEEE 1394 (Firewire) Workshop: International Workshop on Applications of Formal Methods to IEEE 1394 Standard. IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard, Stirling, Scotland, 13.03.2001-13.03.2001. Stirling, Scotland: University of Stirling,Dept of Computing Science & Maths.
Conference Proceeding
Implementing a modal logic over data and processes using XTL
Bryans J & Shankland C (2001) Implementing a modal logic over data and processes using XTL. In: Kim M, Chin B, Kang D & Lee D (eds.) Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems. IFIP Advances in Information and Communication Technology, 69.
Cheju Island, Korea, 28.08.2001-31.08.2001. New York, Boston, Dordrecht, London, Moscow: Kluwer Academic Press, pp. 201-216. http://link.springer.com/chapter/10.1007/0-306-47003-9_13
Article
A case study in abstraction using E-LOTOS and the FireWire
Shankland C & Verdejo A (2001) A case study in abstraction using E-LOTOS and the FireWire. Computer Networks, 37 (3-4), pp. 481-502. https://doi.org/10.1016/S1389-1286%2801%2900190-6
Conference Proceeding
Using Rewriting Logic to implement the modal logic FULL
Bryans J, Verdejo A & Shankland C (2001) Using Rewriting Logic to implement the modal logic FULL. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University.
Conference Proceeding
Implementing the modal logic FULL using Ergo
Robinson P & Shankland C (2001) Implementing the modal logic FULL using Ergo. In: Nowak D (ed.) Proceedings of the Workshop on Automated Verification of Critical Systems (AVOCS'01). Oxford University Computing Laboratory technical report, PRG-RR-01-07. AVoCS'01: Workshop on Automated Verification of Critical Systems, Oxford, 19.04.2001-21.04.2001. Oxford: Oxford University. http://www.cs.ox.ac.uk/techreports/oucl/rr-01-07.html
Conference Proceeding
But What if I Don't Want To Wait Forever?
Fidge C & Shankland C (2001) But What if I Don't Want To Wait Forever?. In: Maharaj S, Romijn J & Shankland C (eds.) IEEE 1394 (FireWire) Workshop: International Workshop on Application of Formal Methods to IEEE 1394 Standard. International Workshop on Applications of Formal Methods to IEEE Standard 1394, Stirling, 13.03.2001-13.03.2001. Stirling: University of Stirling, pp. 15-18. http://www.cs.stir.ac.uk/firewire-workshop/prog.html
Technical Report
Symbolic Bisimulation for Full LOTOS
Calder M & Shankland C (2001) Symbolic Bisimulation for Full LOTOS. University of Glasgow Technical Report, TR-2001-77. University of Glasgow.
Conference Proceeding
A Survey of Formal Methods applied to IEEE 1394
Maharaj S & Shankland C (2000) A Survey of Formal Methods applied to IEEE 1394. In: Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. IEEE TC-ECBS + TF RE and IFIP WG10.1: Joint Workshop on Formal Specifications of Computer-Based Systems, Edinburgh, Scotland, 06.04.2000-07.04.2000. Stirling, Scotland: University of Stirling, pp. 25-26.
Article
A Survey of formal methods applied to leader election in IEEE 1394
Maharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394. Journal of Universal Computer Science, 6 (11), pp. 1145-1163. http://www.jucs.org/jucs_6_11/a_survey_of_formal
Technical Report
Symbolic Bisimulation for Full LOTOS
Calder M & Shankland C (2000) Symbolic Bisimulation for Full LOTOS. University of Stirling Technical Report, CSM 159. University of Stirling.
Conference Proceeding
Using E-LOTOS to pick a leader
Shankland C (1999) Using E-LOTOS to pick a leader. In: Proceedings of the Workshop on Formal Methods in Computation, Ullapool 1999. Workshop on Formal Methods in Computation, 1999, Ullapool, Scotland, 09.09.1999-11.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 143-162.
Conference Proceeding
Time, E-LOTOS, and the FireWire
Shankland C & Verdejo A (1999) Time, E-LOTOS, and the FireWire. In: Proceedings of the Workshop on Formal Methods and Telecommunications, Zaragoza 99. Workshop on Formal Methods and Telecommunications, Zaragoza, Spain, 07.09.1999-07.09.1999. New York: Institute of Electrical and Electronics Engineers, pp. 103-119.
Conference Proceeding
The Tree Identification Protocol of P1394
Shankland C (1998) The Tree Identification Protocol of P1394. In: Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems. Third International Workshop on Formal Methods for Industrial Critical Systems, Amsterdam, The Netherlands, 25.05.1998-26.05.1998. Amsterdam, The Netherlands: CWI, pp. 299-319.
Article
The Tree Identify Protocol of IEEE 1394 in mu CRL
Shankland C & van der Zwaag M (1998) The Tree Identify Protocol of IEEE 1394 in mu CRL. Formal Aspects of Computing, 10 (5-6), pp. 509-531. https://doi.org/10.1007/s001650050030
Conference Proceeding
Symbolic Bisimulation for Full LOTOS
Shankland C & Thomas M (1997) Symbolic Bisimulation for Full LOTOS. In: Johnson M (ed.) Algebraic Methodology and Software Technology: 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings. Lecture Notes in Computer Science, 1349. 6th International Conference, AMAST'97, Sydney, Australia, 13.12.1997-17.12.1997. Berlin Heidelberg: Springer, pp. 479-493. http://link.springer.com/chapter/10.1007/BFb0000491#; https://doi.org/10.1007/BFb0000491
Conference Proceeding
Towards a Symbolic Temporal Logic for Full LOTOS
Shankland C & Thomas M (1997) Towards a Symbolic Temporal Logic for Full LOTOS. In: Duke DJ D & Evans A (eds.) 2nd BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing. 2nd BCS-FACS Northern Formal Methods Workshop, eWiC 97, Ilkley, UK, 14.07.1997-15.07.1997. Berlin Heidelberg: Springer.
Conference Proceeding
Specifying Properties of Basic LOTOS Specifications Using Temporal Logic
Shankland C (1996) Specifying Properties of Basic LOTOS Specifications Using Temporal Logic. In: FORTE'95 (8th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols). FORTE'95 - 8th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols. Chapman and Hall.
Conference Proceeding
Experiences with specification and verification in LOTOS: a report on two case studies
Shankland C & Thomas M (1995) Experiences with specification and verification in LOTOS: a report on two case studies. In: Workshop on Industrial-Strength Formal Specification Techniques, 1995. Proceedings. Workshop on Industrial-Strength Formal Specification Techniques, 1995, Boca Raton, FL, USA, 05.04.1995-08.04.1995. Los Alamitos, CA, USA: IEEE Computer Society Press, pp. 159-171. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=515487&tag=1; https://doi.org/10.1109/WIFT.1995.515487
Thesis
Verification of LOTOS Specifications using Term Rewriting Techniques
Shankland C (1994) Verification of LOTOS Specifications using Term Rewriting Techniques. Doctor of Philosophy. University of Glasgow.
Conference Proceeding
Automating (Specification = Implementation) using Equational Reasoning and LOTOS
Shankland C (1993) Automating (Specification = Implementation) using Equational Reasoning and LOTOS. In: Gaudel M & Jouannaud J (eds.) TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 Proceedings. Lecture Notes in Computer Science, 668. TAPSOFT'93: 4th International Joint Conference CAAP/FASE, Orsay, France, 13.04.1993-17.04.1993. Berlin Heidelberg: Springer, pp. 544-558. http://link.springer.com/chapter/10.1007/3-540-56610-4_88; https://doi.org/10.1007/3-540-56610-4_88
Technical Report
A Case Study for the ERIL Project
Shankland C (1992) A Case Study for the ERIL Project. University of Glasgow Technical Report, 1992/R4. University of Glasgow.
Conference Proceeding
An Experiment using Term Rewriting Techniques for Concurrency
Shankland C (1991) An Experiment using Term Rewriting Techniques for Concurrency. In: Peyton JS, Hutton G & Holst C (eds.) Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland. Workshops in Computing. 1990 Glasgow Workshop on Functional Programming, Ullapool, UK, 13.08.1990-15.08.1990. London: Springer, pp. 196-200. http://link.springer.com/chapter/10.1007/978-1-4471-3810-5_16#; https://doi.org/10.1007/978-1-4471-3810-5_16
Technical Report
Some Experiments using Term Rewriting Techniques for Concurrency
Shankland C & Norrie K (1990) Some Experiments using Term Rewriting Techniques for Concurrency. Technical Report, CSD-TR-623. Royal Holloway and Bedford New College.
Conference Proceeding
Some Experiments using Term Rewriting Techniques for Concurrency
Shankland C & Norrie K (1990) Some Experiments using Term Rewriting Techniques for Concurrency. In: Quemada J, Manas J & Vazquez E (eds.) Formal Description Techniques, III: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. IFIP Transactions: Communication Systems. IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 05.11.1990-08.11.1990. Amsterdam: North-Holland, pp. 527-530.