Andrew Butterfield

Available identifiers

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	2024-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q6190868	2024-02-06	Paper
Translation of CCS into CSP, correct up to strong bisimulation	2023-05-26	Paper
UTCP: Compositional Semantics for Shared-Variable Concurrency	2022-11-04	Paper
The inner and outer algebras of unified concurrency	2020-02-18	Paper
UTPCalc — A Calculator for UTP Predicates	2017-04-04	Paper
The Logic of U ·(TP)2	2015-12-11	Paper
A Probabilistic Theory of Designs Based on Distributions	2015-12-11	Paper
Modelling deterministic concurrent I/O	2015-08-03	Paper
From distributions to probabilistic reactive programs	2013-10-04	Paper
Semantic domains for Handel-C	2013-08-23	Paper
A denotational semantics for Handel-C	2011-05-27	Paper
Saoithín: a theorem prover for UTP	2010-11-09	Paper
Prioritized slotted-Circus	2010-08-31	Paper
Mechanising a formal model of flash memory	2009-03-02	Paper
A Denotational Semantics for Handel-C	2008-09-25	Paper
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes	2008-09-11	Paper
Reasoning About Deterministic Concurrent Functional I/O	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736977	2004-08-11	Paper

This page was built for person: Andrew Butterfield