MobilityReadingGroup

π-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*.

Related publications