MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Geoff Barrett" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic
by Kerstin Eder, Geoff Barrett — 2002
…, 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
by A. W. Roscoe, Geoff Barrett — 1988 — Journal of Logic and Computation
…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
by Geoff Barrett July, Geoff Barrett — 1989
…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
by Geoff Barrett, Michael Goldsmith, Geraint Jones, Andrew Kay — 1988 — In Proceedings of the 9th
… 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

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB