Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Other Models of Computation


Table of Contents

See also High-Level System Design and Analysis, which considers many common models of computation and compares them to ASMs.