 Guarded alternation

A choice among enabled communication events, committing one ready event. An event whose Boolean guard is false is not offered. Output events must be selected before their value-producing expression or post-send state update is performed.