Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Generic


Citation: A.V. Zamulin, "Object-Oriented Abstract State Machines". In Proceedings of the 28th Annual Conference of the German Society of Computer Science, Technical Report, Magdeburg University, 1998.
Summary: A proposed extension of ASMs to include objects.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: