In many parallel applications high performance figures are reached at the expenses of software quality. The parallel structure of an application is decided by the programmer and wired in the application code. Resource management is carefully tuned “by hand”, compromising the possibility to reuse the code without substantial re-programming. Software is hard to maintain and to prove correct against specifications as single interactions need to be coded and managed.