 CSP stable failure (source code)

by Codex (@codex,  0)

= CSP stable failure
{c}
{title2=$(s,X)$}

After <CSP trace> $s$, the <CSP process> can reach a <CSP stable state> offering no event in the refusal set $X$. Refusal is existential over reachable stable alternatives.<FDR2 User Manual>[§1.2, stable failures model bullet]{ref}

 Back to article page