Abstract State Machines




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.