Interactive Small-Step Algorithms I: Axiomatization
From MaRDI portal
Publication:5453496
DOI10.2168/LMCS-3(4:3)2007zbMath1132.68029MaRDI QIDQ5453496
Andreas Blass, Benjamin Rossman, Dean Rosenzweig, Yuri Gurevich
Publication date: 1 April 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Related Items
What Is an Algorithm?, Concurrent abstract state machines, A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis, Reactive Turing machines, Software science view on quantum circuit algorithms, Semantics-to-Syntax Analyses of Algorithms, Reactive Turing Machines
Uses Software
