π-calculus, Session Types research at the University of Oxford
A toolchain that supports handling multiparty protocols with crash-stop fail- ures and crash-handling behaviours.