MobilityReadingGroup

π-calculus, Session Types research at Imperial College

MultiCrusty

MultiCrusty is a Rust implementation for Multiparty Session Types.

This tool allows the user to write and check communication protocols directly in Rust. It can also be used with Scribble or KMC.

Related publications