π-calculus, Session Types research at the University of Oxford
mpstk is a toolkit for specifying multiparty protocols and verifying their properties (e.g., deadlock-freedom and liveness).