π-calculus, Session Types research at the University of Oxford
HAPI
Happy Asynchronous Pi Calculus
HAPI is a programming language developed by Lasse
Nielsen which provides an intuitive syntax for the
asynchronous pi-calculus with multiparty session types.