| Reusable components of semantic specifications M Churchill, PD Mosses, P Torrini Proceedings of the 13th international conference on Modularity, 145-156, 2014 | 62 | 2014 |
| Modular Bisimulation Theory for Computations and Values M Churchill, PD Mosses Foundations of Software Science and Computation Structures, 97-112, 2013 | 23 | 2013 |
| Imperative programs as proofs via game semantics M Churchill, J Laird, G McCusker Annals of Pure and Applied Logic 164 (11), 1038-1078, 2013 | 12 | 2013 |
| A logic of sequentiality M Churchill, J Laird Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 6 | 2010 |
| Modular Semantics for Transition System Specifications with Negative Premises M Churchill, PD Mosses, MR Mousavi CONCUR 2013 – Concurrency Theory 8052, 46-60, 2013 | 4 | 2013 |
| Abstract semantics for a simple quantum programming language M Churchill University of Oxford, 2007 | 3 | 2007 |
| A concrete representation of observational equivalence for PCF M Churchill, J Laird, G McCusker arXiv preprint arXiv:1003.0107, 2010 | 2 | 2010 |
| Component-Based Dynamic Semantics for Caml Light M Churchill, PD Mosses | | 2013 |
| Categorical Semantics for a Quantum Language M Churchill | | 2010 |
| BLC 2009-Abstracts M Baartse, M Churchill | | |
