The CSP interpreter CIaO was developed while working on a diploma thesis about symbolically executing CSP-specifications. CIaO executes CSP specifications using an abstract syntax representation which usually is much smaller than the transition graph.
There exist two versions of CIaO, so far. CIaO 1.0 was developed
for the thesis and is restricted in the CSP-operators it can parse and
execute.
We are currently working on a CIaO 2.0 Version which should
be compatible with FDR2 of Formal Systems. We already included Bryan
Scattergoods parser and hope to get this milestone at the end of this
year.
CIaO 2.0 will also include an easy to use parser which generates our
abstract syntax representation. This parser will be available as a
seperate package.