means try to receive a message described by one of the patterns Message1,Message2... The process evaluating this primitive is suspended until a message which matches one of the patterns is received If a match occurs the code after the '->' is evaluated.
Any unbound variables occurring in the message reception patterns become bound if a message is received.