Seol mar théacs é seo: Abstract machine models for highly parallel computers /