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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Computational Model Study


Citation: Egon Börger, "Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks". Study". Annals of Pure and Applied Logic, volume 133, 2005, 149-171.
Summary: ASM definitions are given for the principal current models of computation and high-level system design.
Subjects: (Other) Models of Computation
Download: From Egon Börger's homepage in PDF.
Notes: See also an earlier version by the author.
[an error occurred while processing this directive]