MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Unbounded Nondeterminism in CSP." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

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

Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
by Clemens Fischer, Graeme Smith — 1997 — Proc. FORTE/PSTV 97, Chapmann & Hall(1997
…. This will be discussed further in Section 7. 3 MODELLING UNBOUNDED NONDETERMINISM IN CSP In this section, we present…
Cited by 6 (1 self) – Add To MetaCart

The Successes and Failures of Behavioural Models
by A. W. Roscoe, G. M. Reed, R. Forster — 2000 — In Millennial Perspectives in Computer Science, Palgrave
… spaces. Roscoe established in [29] that unbounded nondeterminism in CSP would require such models…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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