MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Sequential abstract-state machines capture sequential algorithms." – 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

Sequential abstract state machines capture sequential algorithms
by Yuri Gurevich — ACM Trans. Computational logic
…Sequential Abstract State Machines Capture Sequential Algorithms Yuri Gurevich Microsoft Research…
Cited by 76 (21 self) – Add To MetaCart

On Bounded Exploration and Bounded
by Nondeterminism Yuri Gurevich, Yuri Gurevich, Tatiana Yavorskaya, In Chapter I, Yuri Gurevich, Tatiana Yavorskaya Present, Study A — 2006
… to the article “Sequential Abstract State Machines Capture Sequential Algorithms” by Yuri Gurevich. In Chapter I…
Add To MetaCart

Abstract state machines at the cusp of the millenium
by Egon Börger — 2000 — Abstract State Machines: Theory and Applications, number 1912 in LNCS
…. Gurevich. Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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