206 citations · 246 across the 10 of their papers we have counts for
Showing 2007Show all
2 papers · 1 filter
cs.LO2007★ 7 cited
Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of alg…
cs.LO2007★ 29 cited
Interactive Small-Step Algorithms I: Axiomatization
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of alg…