Compilation is the process of turning a tree of CSP operator applications, as produced by the evaluator, into concrete state machines, on which refinement checking can be performed.
We start by specifying the different types of machines that FDR can produce, before giving a high-level overview of how compilation proceeds.
Todo
Write
Todo
Write
Todo
Write
Todo
Write