Interactive Small-Step Algorithms I: Axiomatization

DOI10.2168/LMCS-3(4:3)2007zbMATH Open1132.68029MaRDI QIDQ5453496FDOQ5453496

Authors: 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)

Recommendations

• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Ordinary interactive small-step algorithms, II
• Ordinary interactive small-step algorithms, III
• Ordinary interactive small-step algorithms. I
• Abstract State Machines 2004. Advances in Theory and Practice

zbMATH Keywords

axiomatizationinteractive small-step algorithms

Mathematics Subject Classification ID

General topics in the theory of algorithms (68W01)

Cited In (14)

• Reactive Turing machines
• Reactive Turing machines
• Semantics-to-Syntax Analyses of Algorithms
• Abstract State Machines 2004. Advances in Theory and Practice
• Software science view on quantum circuit algorithms
• Persistent queries in the behavioral theory of algorithms
• Concurrent abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Ordinary interactive small-step algorithms, II
• Ordinary interactive small-step algorithms, III
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• Interactive Algorithms 2005 with Added Appendix
• Ordinary interactive small-step algorithms. I
• What is an algorithm?

Uses Software

• AsmL

This page was built for publication: Interactive Small-Step Algorithms I: Axiomatization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453496)