Showing 1–2 of 2 results for author: Rosenzweig, D

Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem

Authors: Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Abstract: In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. In Part I (Interactive Small-Step Algorithms I: Axiomatization), th… ▽ More In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. In Part I (Interactive Small-Step Algorithms I: Axiomatization), the axiomatization was extended to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received. In order to prove the thesis for algorithms of this generality, we extend here the definition of abstract state machines to incorporate explicit attention to the relative timing of replies and to the possible absence of replies. We prove the characterization theorem for extended abstract state machines with respect to general algorithms as axiomatized in Part I. △ Less

Submitted 5 November, 2007; v1 submitted 25 July, 2007; originally announced July 2007.

ACM Class: F.1.1; F.1.2; F.3.1

Journal ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 5, 2007) lmcs:1201

Interactive Small-Step Algorithms I: Axiomatization

Authors: Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman

Abstract: In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the pr… ▽ More In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of algorithms, including ordinary, interactive, small-step algorithms. This was accomplished on the basis of axiomatizations of these classes of algorithms. Here we extend the axiomatization and, in a companion paper, the proof, to cover interactive small-step algorithms that are not necessarily ordinary. This means that the algorithms (1) can complete a step without necessarily waiting for replies to all queries from that step and (2) can use not only the environment's replies but also the order in which the replies were received. △ Less

Submitted 5 November, 2007; v1 submitted 25 July, 2007; originally announced July 2007.

ACM Class: F.1.1; F.1.2; F.3.1

Journal ref: Logical Methods in Computer Science, Volume 3, Issue 4 (November 5, 2007) lmcs:1200