Abstract machine models for highly parallel computers | lit.salon