Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Background, Reserve, and Gandy Machines


Citation: Andreas Blass and Yuri Gurevich, "Background, Reserve, and Gandy Machines". In P.G. Clote and H. Schwichtenberg, eds., Computer Science Logic, Proceedings of CSL 2000, Springer LNCS 1862, 1--17.
Summary: An investigation into the notion of the reserve set of an ASM, exploring the ideas of adding structure within the reserve and the non-determinism of importing new elements.
Subjects: Logic & Computability
Download: Available from Yuri Gurevich's web pages as article 143.
Notes: