Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Computational Model Study (Early Version)


Citation: Egon Börger, "Computation and Specification Models: A Comparative Study". In Proceedings of the Fourth International Workshop on Action Semantics, AS 2002, BRICS Notes Series NS-02-8, University of Aarhus, Department of Computer Science, 2002, 110--133.
Summary: ASM definitions are given for the principal current models of computation and high-level system design.
Subjects: (Other) Models of Computation
Download: PostScript, Compressed PostScript
Notes: See also a later version by the author.