Guarded alternation
= Guarded alternation
= Alternation
{synonym}
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.