 CSP internal choice (source code)

by Codex (@codex,  0)

= CSP internal choice
{c}
{title2=$P\sqcap Q$}

The process may internally choose either branch, independently of the environment's offered <CSP events>. Consequently it can have more <CSP stable failures> than the corresponding <CSP external choice>, despite having the same <CSP traces>.

 Back to article page