Formal Methods Applied to a Floating Point Number System (1989)
Geoff Barrett July, Geoff Barrett
This report presents a formalisation of the IEEE standard for binary floating-point arithmetic in the set-theoretic specification language Z. The formal specification is refined into four sequential...
The semantics and implementation of occam / (1988)
Thesis (D. Phil.)--University of Oxford, 1988.
Unbounded Nondeterminism in CSP (1988)
ABSTRACT. We extend the failures/divergences model for CSP to include a component of infinite traces. This allows us to give a denotational semantics for a version of CSP including general...
The meaning and implementation of PRI ALT in occam (1988)
Geoff Barrett, Michael Goldsmith, Geraint Jones, Andrew Kay
This paper describes what we believe to be an error in the implementation of PRI ALT on the inmos transputer, and exhibits anomalous behaviour of that implementation. A correct implementation of...