Abstract State Machines capture parallel algorithms (2002)

by A Blass, Y Gurevich
Venue:ACM Trans. Computational Logic