This is an open source SML project to create a CCS interpreter for the Concurrent Programming Cource 2013 at Saarland University