Abstract state machines capture parallel algorithms

Abstract state machines capture parallel algorithms (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Andreas Blass , Yuri Gurevich

Venue:	ACM Transactions on Computational Logic
Citations:	48 - 19 self

BibTeX

@ARTICLE{Blass03abstractstate,
    author = {Andreas Blass and Yuri Gurevich},
    title = {Abstract state machines capture parallel algorithms},
    journal = {ACM Transactions on Computational Logic},
    year = {2003},
    volume = {4},
    pages = {578--651}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Abstract We give an axiomatic description of parallel, synchronous algorithms. Our main result is that every such algorithm can be simulated, step for step, by an abstract state machine with a background that provides for multisets. \Lambda

Citations

384	Evolving Algebras 1993: Lipari Guide - Gurevich - 1995
268	Parallel algorithms for sharedmemory machines - Karp, Ramachandran - 1990
104	Sequential abstract state machines capture sequential algorithms - Gurevich
63	draft of the ASM guide - Gurevich - 1997
61	Metafinite model theory - Gradel, Gurevich - 1998
27	Composition and submachine concepts for sequential ASMs - Borger, Schmid - 2000
27	Ordinary Interactive Small-Step Algorithms - Blass, Gurevich
18	Recursive abstract state machines - Gurevich, Spielmann - 1997
15	The logic of choice - Blass, Gurevich
14	Partial Updates: Exploration - Gurevich, Tillmann
11	Fixed point logics - Dawar, Gurevich
5	Vijaya "Parallel Algorithms for Shared Memory Machines - Karp, Ramachandran - 1990
5	Processes are in the eye of the beholder - Lamport - 1997
4	Interactive small-step algorithms I: Axiomatization, and II: Abstract state machines and the characterization theorem - BLASS, GUREVICH, et al.
3	Background, reserve, and Gandy machines - Blass, Gurevich - 2000
2	Gurevich (2006): Ordinary Interactive Small-Step Algorithms, Part I - Blass, Yuri - 1145
2	Gurevich and Saharon Shelah, "Choiceless Polynomial Time", Microsoft Research - Blass, Yuri - 1999
2	Quantum Computing and Abstract State Machines - GRÄDEL, NOWACK
1	Neeraj Kayal, and Nitin Saxena, "PRIMES is in P," preprint (2002), available at http : ==www:cse:iitk:ac:in=news=primalityv 3:pdf - Agrawal
1	and Antje Nowack, "Quantum Computing and Abstract State Machines - Gradel
1	Margus Veanes, "Toward industrial strength abstract state machines," Microsoft Research Technical Report MSR-TR-2001-98, available at http : ==research:microsoft:com - Gurevich, Schulte
1	PRIMES is in P, To appear, available at http : //www.cse.iitk.ac.in/news/primality v3.pdf - AGRAWAL, KAYAL, et al.
1	Sequential-Time ASMs - GUREVICH, SCHULTE, et al.