Pierce and Turner's programming language based on Pi-calculus, copied from http://www.cis.upenn.edu/~bcpierce - View it on GitHub