Ordinary interactive small-step algorithms, III

DOI10.1145/1243996.1243999zbMath1367.68096OpenAlexW4239934034MaRDI QIDQ5277781

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.1243999

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 (1)

Concurrent abstract state machines

This page was built for publication: Ordinary interactive small-step algorithms, III