| Responsibilities | Collaborations /// |
|---|---|
| Check that an uncommitted send cannot be received. /// | |
| Check that a committed send can be received. /// | |
| Check that a rolled back send cannot be received. /// | |
| Check that an uncommitted receive can be re-received. /// | |
| Check that a committed receive cannot be re-received. /// | |
| Check that a rolled back receive can be re-received. /// |