[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Parallel ASM Thesis: Correction and Extension


Citation: Andreas Blass and Yuri Gurevich, "Abstract State Machines Capture Parallel Algorithms: Correction and Extension". ACM Transactions on Computation Logic, vol. 9, no. 3, June 2008, 1-32. 
Summary: A correction and extension of the Parallel ASM Thesis. The axiomatization of parallel algorithms is liberalized, and the thesis is proved for this new class of parallel algorithms. 
Subjects: Introductory Materials 
Download: From Yuri Gurevich's homepage in PDF
Notes: A correction and extension of earlier work
[an error occurred while processing this directive]