Abstract state machines capture parallel algorithms (2003)

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