π-calculus, Session Types research at Imperial College
Session*
A Toolchain for Statically-Verified Refinements for Multiparty Protocols
Session* is a toolchain for specifying message passing protocols using Refined Multiparty Session Types and safely implementing the distributed endpoint programs in F*.