MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Session Java
Session-based distributed programming in Java

A Java extension with support for Session Types.

Related publications