CSP event (source code)

= CSP event
{c}
{title2=$a\in\Sigma$}

An instantaneous visible interaction. A channel event such as $\mathit{left}.x$ combines a channel name with a communicated value. Participants synchronize on one event rather than separately sending and receiving it.