Invia SMS: Abstract machine models for highly parallel computers /