@article{FDR3Journal,
  title = "FDR3: a parallel refinement checker for CSP",
  author = "Thomas Gibson-Robinson and Philip Armstrong and Alexandre Boulgakov and A.W. Roscoe",
  year = "2015",
  journal = "International Journal on Software Tools for Technology Transfer",
  url = "http://dx.doi.org/10.1007/s10009-015-0377-y",
  doi = "10.1007/s10009-015-0377-y",
}
@inproceedings{ComputingMaximalBisimulations,
  title = "Computing Maximal Bisimulations",
  author = "Alexandre Boulgakov and Thomas Gibson-Robinson and A.W. Roscoe",
  year = "2014",
  booktitle = "Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Proceedings",
  url = "http://dx.doi.org/10.1007/978-3-319-11737-9_2",
  doi = "10.1007/978-3-319-11737-9_2",
}
@inproceedings{clusterfdr,
  title = "FDR into The Cloud",
  author = "Thomas Gibson-Robinson and A.W. Roscoe",
  year = "2014",
  booktitle = "Communicating Process Architectures",
}
@inproceedings{fdr3,
  title = "FDR3 — A Modern Refinement Checker for CSP",
  author = "Thomas Gibson-Robinson and Philip Armstrong and Alexandre Boulgakov and A.W. Roscoe",
  year = "2014",
  booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
  pages = "187-201",
  doi = "10.1007/978-3-642-54862-8_13",
}
@inproceedings{CSPLikeSimulation,
  title = "Efficient Simulation of CSP-Like Languages",
  author = "Thomas Gibson-Robinson",
  year = "2013",
  booktitle = "Communicating Process Architectures 2013",
}
@inproceedings{skipmeaning,
  title = "The Meaning and Implementation of SKIP in CSP",
  author = "Thomas Gibson-Robinson and Michael Goldsmith",
  year = "2013",
  booktitle = "Communicating Process Architectures 2013",
}
@inproceedings{Creese:2013fkHST,
  title = "Tools for Understanding Identity",
  author = "Creese, Sadie and Gibson-Robinson, Thomas and Goldsmith, Michael and Hodges, Duncan and Kim, Dee and Love, Oriana and Nurse, Jason R. C. and Pike, Bill and Schultz, Jean",
  year = "2013",
  booktitle = "IEEE Conference on Technologies for Homeland Security (HST '13)",
  doi = "10.1109/THS.2013.6699064",
}
@phdthesis{7146,
  title = "Analysing Layered Security Protocols",
  author = "Thomas Gibson-Robinson",
  year = "2013",
  institution = "University of Oxford",
}
@inproceedings{unilaterally_authenticating_protocols,
  title = "Analysing Applications Layered on Unilaterally Authenticating Protocols",
  author = "Thomas Gibson-Robinson and Gavin Lowe",
  year = "2011",
  booktitle = "Proceedings of Formal Aspects of Security and Trust (FAST 2011)",
}
@mastersthesis{tyger-tgr,
  title = "Tyger: A Tool for Automatically Simulating CSP-Like Languages in CSP",
  author = "Thomas Gibson-Robinson",
  year = "2010",
}
@mastersthesis{refinement-closure,
  title = "On the Refinement Closure of Information-Flow Properties",
  author = "Thomas Gibson-Robinson",
  year = "2009",
}