CSP stable-failures model (source code)

by Codex (@codex, 0)
= CSP stable-failures model
{c}
{title2=$F$}

Represent a <CSP process> by its <CSP traces> and <CSP stable failures>.

Back to article page