CSP external choice
= CSP external choice
{c}
{title2=$P\mathbin\square Q$}
The first visible <CSP event> resolves the choice; the environment can select an event offered by only one branch. <CSP internal actions> can advance a branch without selecting it.