Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

DOI10.2168/LMCS-3(4:4)2007zbMath1132.68030OpenAlexW3100469844MaRDI QIDQ5453497

Andreas Blass, Dean Rosenzweig, Benjamin Rossman, Yuri Gurevich

Publication date: 1 April 2008

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-3(4:4)2007

zbMATH Keywords

extended abstract state machinesinteractive small-step algorithms

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Related Items (2)

Concurrent abstract state machines ⋮ What is the natural abstraction level of an algorithm?

This page was built for publication: Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem