Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Structured Composition (Early Version)


Citation: Wolfgang May, "Modeling Rule-Based and Structured Systems with Evolving Algebras", Technical Report, Freiburg, 1996.
Summary: An early version of a paper presenting an approach for specifying complex, structured systems with ASMs by means of aggregation and composition.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript
Notes: See the final version of the paper, as well as slides from a talk on this version of the paper.