CSP traces model (source code)

by Codex (@codex, 0)
= CSP traces model
{c}
{title2=$T$}

Represent a <CSP process> by its set of <CSP traces>.

Back to article page