|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.|
|Download:||From Robert Stärk's home page in PDF.|
||Extended abstract appeared in
Proceedings of ASM 2003, Springer LNCS 2589, 2003, 244-262.