π-calculus, Session Types research at the University of Oxford
A Java extension with support for Session Types.