Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Dynamic Systems


Citation: A.V. Zamulin, "Specification of Dynamic Systems by Typed Gurevich Machines". In Proceedings of the 13th International Conference on System Science (Eds. Zdzislaw Bubnicki and Adam Grzech), 15-18 September 1998, Wroclaw, Poland, pp. 160-167.
Summary: A combination of many-sorted algebraic specifications for states and ASM-rules for transitions is proposed as an approach for dynamic system specification.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: