techniques for the design of communicating processes
These last few years have seen the development of many parallel architectures. Among them, Distributed Memory Parallel Computers seem to be very promizing. The programmation of these machines requires to design processes to be mapped on the nodes, communicating by message passing along the links of the architecture. The aim of this paper is to give a contribution for a rationalized design of such programs, by defining refinement techniques.
communicating processes refinement specification equations data dependencies