MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Semantics of Unbounded Nondeterminism." – 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

Testing Semantics for Unbounded Nondeterminism
by Luis Fdo. Llana Díaz, Manuel Núñez, Luis Fdo — 1997
…Testing Semantics for Unbounded Nondeterminism ? Luis Fdo. Llana D#az and Manuel N##ez Dpto…
Cited by 1 (1 self) – Add To MetaCart

Fixed Points Without Completeness
by M.W. Mislove, M. W. Mislove, A. W. Roscoe, A. W. Roscoe, S. A. Schneider, S. A. Schneider — 1993 — Theoretical Computer Science
… support the semantics of unbounded nondeterminism. The two operators common to programming languages…
Cited by 9 (4 self) – Add To MetaCart

A Formal Description of Verdi
by Mark Saaltink, Ora Canada — 1990
… of this particular domain for the semantics of unbounded nondeterminism is discussed at some length in [1]. 8 EVES…
Cited by 10 (5 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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