CSP parallel composition
= CSP parallel composition
{c}
{title2=$P\underset A\Vert Q$}
Events in $A$ require both <CSP processes>; other visible <CSP events> advance one participant independently. <CSP internal actions> do not synchronize.
= CSP parallel composition
{c}
{title2=$P\underset A\Vert Q$}
Events in $A$ require both <CSP processes>; other visible <CSP events> advance one participant independently. <CSP internal actions> do not synchronize.