π-calculus, Session Types research at the University of Oxford
mpstk-crash-stop is a toolkit for specifying multiparty protocols and verifying their properties (e.g., deadlock-freedom and liveness). It is based on the generalised theory of multiparty session types with crash-stop failures.