Abstract state machines capture parallel algorithms

DOI10.1145/1352582.1352587zbMath1367.68097OpenAlexW2139801570MaRDI QIDQ5277808

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)

Related Items (7)

Distributed Adaptive Systems ⋮ Concurrent abstract state machines ⋮ A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis ⋮ A unifying logic for non-deterministic, parallel and concurrent abstract state machines ⋮ A Behavioural Theory of Recursive Algorithms ⋮ ASM specification and refinement of a quantum algorithm ⋮ What is the natural abstraction level of an algorithm?

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