The library FDR3 uses for parsing, type checking and evaluating machine CSP.

Versions of Haskell files that need to be modified to create a modified version of libcspm which uses 5 timing events for Timed CSP processes