Hidden Steps of Turbo ASMs

Citation: Nicu Fruja and Robert Stärk, "The Hidden Computation Steps of Turbo Abstract State Machines". ETH Zürich Theoretical Computer Science Technical Report 416, July 2003.
Summary: An analysis of the hidden intermediate steps of Turbo ASMs in terms of PAR/SEQ trees, including problems with the reserve.
Subjects: ASM Extensions
Download: From Robert Stärk's home page in PDF.
Notes: Extended abstract appeared in Proceedings of ASM 2003, Springer LNCS 2589, 2003, 244-262.