π-calculus, Session Types research at the University of Oxford
CAScr
Design-by-Contract for Flexible Multiparty Session Protocols
CAScr is the first implementation of Scribble (http://www.scribble.org, https://nuscr.dev/) that relies on choreography automata, for deadlock-free distributed programming.