Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Composition/Submachine Concepts


Citation: Egon Börger and Joachim Schmid, "Composition and Submachine Concepts for Sequential ASMs". In P. Clote and H. Schwichtenberg, eds., Computer Science Logic (Proceedings of CSL 2000), Springer LNCS 1862, 2000, 41--60.
Summary: Structuring concepts for sequential composition (including iteration and recursion), parameterization, and encapsulation in ASMs are presented.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: See also a later analysis of hidden computational steps.