Searching for "Computation by Prophecy." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Computation by prophecy
by Ana Bove, Venanzio Capretta — Typed Lambda Calculi and Applications. 8th International Conference, TLCA 2007
…Computation by Prophecy Ana Bove 1 and Venanzio Capretta 2 1 Department of Computer Science…
Cited by 1 (1 self) – Add To MetaCart

Universal extensions to simulate specifications
by Wim H. Hesselink — 2005
… “abstract steps” in the computations. Prophecy. Stuttering forward simulations disallow cases where…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB