[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Subjects

Methodology

Applications

ASM Studies

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.
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/hiddenturbo.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT