[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Schönhage Storage Modification Machines


Citation: Scott Dexter, Patrick Doyle, and Yuri Gurevich, "Gurevich Abstract State Machines and Schönhage Storage Modification Machines", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 279--303.
Summary: A demonstration of the (strong) equivalence of Schönhage storage modification machines and ASMs.
Subjects: (Other) Models of Computation
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)
[an error occurred while processing this directive]