Techniques for the design of communicating processes

The last few years have seen the development of many parallel architectures. Among them distributed memory parallel computers seem to be very promising. The programming of these machines requires the design processes to be mapped onto nodes, communicating by message passing along the links of the architecture. The authors describe the rationalized design of such programs, by defining refinement techniques