 CSP process

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.