The effective implementation of a flexible communication mechanism for distributed and parallel programming

A mechanism that relies on shared communication resources but avoids many of its known disadvantages is proposed. Its main idea is introduced as an extension of the Communicating Sequential Processes (CSP) notation to asynchronous and type-safe communication behavior. It is shown that this mechanism can be used for strongly and loosely coupled processors and is thus independent of a specific distributed or parallel architecture. This independence allows changes of the hardware system as well as static or dynamic changes of the software system. The mechanism relies on asynchronous message-passing but can easily be extended to send no-wait procedure calls