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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

The ASM Tutorial


Citation: Yuri Gurevich, "Evolving Algebras: An Attempt to Discover Semantics", Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A. Salomaa, World Scientific, 1993, 266--292. (A previous version appeared in the Bulletin of the European Association for Theoretical Computer Science, no. 43, Feb. 1991, 264--284).
Summary: This tutorial introduces the concepts behind sequential ASMs (sufficient to model any sequential computation). It is written as a dialogue between the author and a fictional graduate student.
Subjects: Introductory Materials
Download: PostScript, PDF, Compressed PostScript
Notes: Also available as WWW pages.
[an error occurred while processing this directive]