Andrew Butterfield

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards a model-checker for \textit{\textsf{Circus}}	2024-03-14	Paper
\textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR	2024-03-14	Paper
Applying formal verification to an open-source real-time operating system	2024-02-28	Paper
Review of Understanding Programming Languages Formal Aspects of Computing	2024-02-23	Paper
From CCS to CSP: the \(m\)-among-\(n\) synchronisation approach	2024-02-06	Paper
Translation of CCS into CSP, correct up to strong bisimulation Software Engineering and Formal Methods	2023-05-26	Paper
UTCP: Compositional Semantics for Shared-Variable Concurrency Lecture Notes in Computer Science	2022-11-04	Paper
The inner and outer algebras of unified concurrency	2020-02-18	Paper
UTPCalc -- a calculator for UTP predicates Unifying Theories of Programming	2017-04-04	Paper
The logic of \(U\cdot(TP)^{2}\) Unifying Theories of Programming	2015-12-11	Paper
A probabilistic theory of designs based on distributions Unifying Theories of Programming	2015-12-11	Paper
Modelling deterministic concurrent I/O Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming	2015-08-03	Paper
From distributions to probabilistic reactive programs Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Semantic domains for Handel-C	2013-08-23	Paper
A denotational semantics for Handel-C Formal Aspects of Computing	2011-05-27	Paper
Saoithín: a theorem prover for UTP Unifying Theories of Programming	2010-11-09	Paper
Prioritized slotted-Circus Lecture Notes in Computer Science	2010-08-31	Paper
Mechanising a formal model of flash memory Science of Computer Programming	2009-03-02	Paper
A Denotational Semantics for Handel-C Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes Lecture Notes in Computer Science	2008-09-11	Paper
Reasoning About Deterministic Concurrent Functional I/O Implementation and Application of Functional Languages	2007-10-23	Paper
scientific article; zbMATH DE number 2086497 (Why is no real title available?)	2004-08-11	Paper

Research outcomes over time

This page was built for person: Andrew Butterfield