The Java CSP library takes advantage of neither the new concurrency primitives in the language nor generics. Both are valuable additions.
This project extends nicely into the challenge of providing some basic checks for safety in the parallel programs written—either at compile-time or at run-time. This takes the initial problem (learning and understanding CSP as implemented in the JCSP library and updating it) and challenges you to use ANTLR or similar tools to parse and analyze the programs written using JCSP. (Or by using other techniques at runtime.)
