29 citations · 36 across the 2 of their papers we have counts for
2 papers
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…