Searching for "A Fully Abstract Game Semantics for Finite Nondeterminism." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

A Fully Abstract Game Semantics for Finite Nondeterminism
by Russell Harmer, Guy Mccusker — 1999 — In Proceedings of the Fourteenth Annual Symposium on Logic in Computer Science, LICS ’99. IEEE Computer
…A fully abstract game semantics for finite nondeterminism Russell Harmer Imperial College, London…
Cited by 22 (2 self) – Add To MetaCart

Showing 1 through 1.

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