Interactive small-step algorithms I: Axiomatization, and II: Abstract state machines and the characterization theorem (0)

by A BLASS, Y GUREVICH, D ROSENZWEIG, B ROSSMAN
Venue:Article 19, Publication date: June 2008. • A. Blass and Y. Gurevich Research Tech. Rep. MSR-TR-2006-170 and MSR-TR-2006-171. Microsoft Research