Andrew Butterfield

zbMath Openbutterfield.andrewMaRDI QIDQ539164

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