Raising the abstraction level for computation and communication specification seems the only way to master the complexity of mapping a large software application onto an multi-processor ...