Implemented by Gabriele Sartor, December 2015
Simplified parser and interpreter written in Haskell for a restricted syntax of CSP (Communicating Sequential Processes).
To see an example of execution of the program look at the file csp-presentation.pdf.