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

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.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/comp.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT