Searching for authors named "Geoff Barrett" – sorted by Relevance.
-
Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic
- , Louisiana, USA. Copyright 2002 ACM 1-58113-461-4/02/0006 ...$5.00. Geoff Barrett Broadcom DSL BU 320 Bristol
- Add To MetaCart
-
Unbounded Nondeterminism in CSP
- Unbounded Nondeterminism in CSP by A.W. Roscoe 1 and Geoff Barrett 2 Oxford University Computing
- Cited by 20 (0 self) – Add To MetaCart
-
Formal Methods Applied to a Floating Point Number System
- Formal Methods Applied to a Floating Point Number System Geoff Barrett July 28, 1989 Abstract
- Add To MetaCart
-
The meaning and implementation of PRI ALT in occam
- and implementation of PRI ALT in occam Geoff Barrett Michael Goldsmith Geraint Jones Andrew Kay Programming Research
- Cited by 1 (0 self) – Add To MetaCart

