Synchronous Message - Model
Synchronous Message - Model
Processes interact via named channels. A named channel can only be used by a single sender and a single receiver.
ch ! e
send the value of expression e to the channel ch
ch ? v
receive from channel ch, a value and assign it to variable v
The operations on a channel are synchronised. Whichever process arrives at the channel action first will be blocked until the other process arrives. When both processes are ready to communicate a rendezvous is said to take place with data passing from expression e to the variable v.
This can be considered to be the distributed assignment v := e.