 CSP interrupt (source code)

by Codex (@codex,  0)

= CSP interrupt
{c}
{title2=$P\mathbin\triangle Q$}

Allow $P$ to proceed while $Q$ is ready to interrupt. The first visible <CSP event> of $Q$ discards $P$ and leaves the derivative of $Q$. A <CSP internal action> of $Q$ alone does not discard $P$.

 Back to article page