Andrew Butterfield

Available identifiers

Publication	Date of Publication	Type
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
A Probabilistic Theory of Designs Based on Distributions	2015-12-11	Paper
The Logic of U ·(TP)2	2015-12-11	Paper
Modelling deterministic concurrent I/O	2015-08-03	Paper
From Distributions to Probabilistic Reactive Programs	2013-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q2843615	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrew Butterfield