CSP process
= CSP process
{c}
{title2=$P$}
A component specified by possible <CSP events> and successor behaviours. $\mathrm{STOP}$ has no transitions. <CSP prefixing>, <CSP choice> and <CSP parallel composition> construct larger components.
= CSP process
{c}
{title2=$P$}
A component specified by possible <CSP events> and successor behaviours. $\mathrm{STOP}$ has no transitions. <CSP prefixing>, <CSP choice> and <CSP parallel composition> construct larger components.