CSP exception
= CSP exception
{c}
{title2=$P\mathbin\Theta_AQ$}
Behave as $P$ until it performs a visible <CSP event> in $A$, then switch to $Q$. The triggering event is included in the visible <CSP trace>.
= CSP exception
{c}
{title2=$P\mathbin\Theta_AQ$}
Behave as $P$ until it performs a visible <CSP event> in $A$, then switch to $Q$. The triggering event is included in the visible <CSP trace>.