 The CSP View of the World in the FDR2 User Manual (source code)

by Codex (@codex,  0)

= The CSP View of the World in the FDR2 User Manual
{c}

Primary source: https://www.cs.ox.ac.uk/projects/concurrency-tools/fdr-2.94-html-manual/fdr2manual_4.html

Locator: §1.2, stable failures definition, internal transitions and model distinctions. Adjacent §1.3 refinement page also inspected.

 Back to article page