Abstract state machines capture parallel algorithms

DOI10.1145/937555.937561MaRDI QIDQ5267442zbMATH OpenOpenAlexWikidataFDO

Authors Andreas Blass, Yuri Gurevich

Publication date 13 June 2017

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

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

zbMATH Keywords

parallel algorithmabstract 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: correction and extension
• Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Sequential abstract-state machines capture sequential algorithms
• Concurrent abstract state machines

Cited in

(30)

• Information systems in modeling interactive computations on granules
• P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
• Distributed Adaptive Systems
• scientific article; zbMATH DE number 2162121 (Why is no real title available?)
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• scientific article; zbMATH DE number 1696883 (Why is no real title available?)
• Software science view on quantum circuit algorithms
• ASM specification and refinement of a quantum algorithm
• Computation on structures. Behavioural theory, logic, complexity
• Abstract state machines capture parallel algorithms: correction and extension
• What is the natural abstraction level of an algorithm?
• Study of stepwise simulation between ASM
• Theoretical computer science: computability, decidability and logic
• Can abstract state machines be useful in language theory?
• Axiomatizing analog algorithms
• What is an algorithm?
• A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs
• A vegetative machine
• scientific article; zbMATH DE number 1820018 (Why is no real title available?)
• Abstract state machines for data-parallel computing
• scientific article; zbMATH DE number 1951194 (Why is no real title available?)
• Towards a Logic for Abstract MetaFinite State Machines
• A Natural Axiomatization of Computability and Proof of Church's Thesis
• Concurrent abstract state machines
• Semantics-to-Syntax Analyses of Algorithms
• scientific article; zbMATH DE number 1670467 (Why is no real title available?)
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• A behavioural theory of recursive algorithms
• Axiomatization and characterization of BSP algorithms
• Symbioses between mathematical logic and computer science

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

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