 CSP trace (source code)

by Codex (@codex,  0)

= CSP trace
{c}
{title2=$s\in\operatorname{traces}(P)$}

A finite <sequence> of visible <CSP events> performed by a <CSP process>, omitting <CSP internal actions>.

 Back to article page