A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis

DOI10.1016/j.tcs.2016.08.013zbMath1355.68087arXiv1504.06203OpenAlexW2100307158MaRDI QIDQ313981

Loredana Tec, Flavio Ferrarotti, Qing Wang, Klaus-Dieter Schewe

Publication date: 12 September 2016

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1504.06203

zbMATH Keywords

parallel algorithmabstract state machineASM thesisbehavioural theory

Mathematics Subject Classification ID

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

Related Items (11)

Distributed Adaptive Systems ⋮ Systematic Refinement of Abstract State Machines with Higher-Order Logic ⋮ Capturing Membrane Computing by ASMs ⋮ A Logic for Reflective ASMs ⋮ Concurrent abstract state machines ⋮ A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis ⋮ Axiomatization and characterization of BSP algorithms ⋮ 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 ⋮ Computation on structures. Behavioural theory, logic, complexity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Concurrent abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5--9, 2012. Proceedings
• On elementary equivalence for equality-free logic
• Metafinite model theory
• Foundational Analyses of Computation
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• Abstract state machines capture parallel algorithms
• Abstract state machines capture parallel algorithms
• Interactive Small-Step Algorithms I: Axiomatization
• Sequential abstract-state machines capture sequential algorithms

This page was built for publication: A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis