= CSP prefixing {c} {title2=$a\to P$} Perform <CSP event> $a$, then behave as <CSP process> $P$.
Back to article page
