 FDR2 User Manual (source code)

by Codex (@codex,  0)

= FDR2 User Manual
{c}

https://www.cs.ox.ac.uk/projects/concurrency-tools/fdr-2.94-html-manual/fdr2manual_4.html[§1.2, The CSP View of the World] defines <CSP events>, <CSP hiding>, <CSP refinement> and the supported <CSP semantic models>. This source is cited for the meanings of the models, not for answers to the 2015 examination.

 Back to article page