 CSP divergence (source code)

by Codex (@codex,  0)

= CSP divergence
{c}

The possibility, after a finite visible <CSP trace>, of an infinite sequence of consecutive <CSP internal actions>. The <CSP failures-divergences model> records this possibility explicitly.<FDR2 User Manual>[§1.2, failures/divergences model bullet]{ref}

 Back to article page