Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Recursive ASMs


Citation: Yuri Gurevich and Marc Spielmann, "Recursive Abstract State Machines", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 233--246.
Summary: The authors suggest a definition of recursive ASMs.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript
Notes: (Courtesy of Springer-Verlag.)