Semantics of Blocking Point-to-point

semantics   This section describes the main properties of the send and receive calls introduced in Section . Interested readers can find a more formal treatment of the issues in this section in [10].

• Buffering and Safety
• Multithreading
• Order
• Progress
• Fairness