Ordinary interactive small-step algorithms, II

DOI10.1145/1243996.1243998zbMath1367.68095OpenAlexW4234381234MaRDI QIDQ5277780

Andreas Blass, Yuri Gurevich

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1243996.1243998

zbMATH Keywords

interactionabstract state machinespostulatessequential algorithmsequivalence of algorithms

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) General topics in the theory of algorithms (68W01)

Related Items

Concurrent abstract state machines ⋮ Semantic essence of AsmL