CSP event
= 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.