Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Structured Composition


Citation: Wolfgang May, "Specifying Complex and Structured Systems with Evolving Algebras", in M. Bidoit and M. Dauchet, eds., "Proceedings of TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE", Springer Lecture Notes in Computer Science 1214, 535-549.
Summary: An approach is presented for specifying complex, structured systems with ASMs by means of aggregation and composition.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript
Notes: