Eclectic CSP
Eclectic CSP (eCSP) is a higher order modular concurrent programming language designed by Benard Sufrin & Quentin Miller (http://users.comlab.ox.ac.uk/bernard.sufrin/ECSP/ecsp.pdf). The aim of this project is write a compiler that translates eCSP in Java Bytecode for use with the JVM.