CSP internal action ($\tau$)

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

A state with no outgoing CSP internal action. A CSP stable failure records a refusal only after such a state has been reached.