Distributed implementation of nested communicating sequential processes and termination

A model for the distributed implementation of CSP programs, based on cooperation between communicating virtual processors, is defined. Emphasis is placed on the relations between nested parallel commands, communication, and process termination. We then present a protocol for process termination handling that guarantees the consistency of distributed structures and aims at optimizing the rate of communications among virtual processors. Finally, the adoption of the model in the implementation of the run-time support of a CSP-based language on the MuTEAM distributed multiprocessor is described.