Message Passing
send expression_list to destination_identifier;
receive variable_list from source_identifier;
guarded receive:
receive variable_list from source_id when B;
selective receive:
select
receive var_list from source_id1;
|receive var_list from source_id2;
|receive var_list from source_id3;
end