Abstract state machines capture parallel algorithms (2003)

by Andreas Blass , Yuri Gurevich
Venue:ACM Transactions on Computational Logic
Citations:70 - 27 self