Abstract state machines capture parallel algorithms: correction and extension

DOI10.1145/1352582.1352587MaRDI QIDQ5277808zbMATH OpenOpenAlexFDO

Authors 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/1352582.1352587

zbMATH Keywords

parallel algorithmparallel programmingabstract state machineASM thesispostulates for parallel computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Parallel algorithms in computer science (68W10)

Recommendations

• Abstract state machines capture parallel algorithms
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Concurrent abstract state machines
• Ordinary interactive small-step algorithms, III
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

Cited in

(18)

• A behavioural theory of recursive algorithms
• ASM specification and refinement of a quantum algorithm
• What is the natural abstraction level of an algorithm?
• scientific article; zbMATH DE number 1670510 (Why is no real title available?)
• Concurrent abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Distributed Adaptive Systems
• Theoretical computer science: computability, decidability and logic
• Abstract state machines capture parallel algorithms
• scientific article; zbMATH DE number 1860674 (Why is no real title available?)
• Sequential abstract-state machines capture sequential algorithms
• scientific article; zbMATH DE number 6533780 (Why is no real title available?)
• scientific article; zbMATH DE number 1543045 (Why is no real title available?)
• A vegetative machine
• Abstract state machines for data-parallel computing
• A case study in real-time parallel computation: Correcting algorithms
• scientific article; zbMATH DE number 2162121 (Why is no real title available?)
• scientific article; zbMATH DE number 1823194 (Why is no real title available?)

This page was built for publication: Abstract state machines capture parallel algorithms: correction and extension

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