Reusability of coordination programs

Isolating computation and communication concerns into separate pure computation and pure coordination modules enhances modularity, understandability, and reusability of parallel and/or distributed software. This can be achieved by moving communication primitives (such as SendMessage and ReceiveMessage), which are now commonly scattered in application codes, into separate modules written in a language dedicated to the coordination of processes and the flow of information among them. M<font size=-1>ANIFOLD</font> is a pure coordination language that encourages the separation of communication and computation concerns, We use real, concrete, running M<font size=-1>ANIFOLD</font> programs to demonstrate the concept of pure coordination modules and the advantage of their reuse in applications of different nature.