A quantitative comparison of parallel computation models (ACM transactions on computer systems, 1998)