 CSP internal action (source code)

by Codex (@codex,  0)

= CSP internal action
{c}
{title2=$\tau$}

An unobservable transition that the environment cannot block. <CSP hiding> turns selected visible <CSP events> into <CSP internal actions>.

 Back to article page