Abstract
A new message-passing communication scheme for high-level system specification is introduced. Data exchange between the system processes can be defined by choosing the Send/Receive operation most suitable to meet the communication requirements of the system specification. Moreover, a message passing to shared memory translation procedure is presented.