Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/parallelThesisExtension.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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]
URL:
http://web.eecs.umich.edu/gasm/papers/parallelThesisExtension.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT