π-calculus, Session Types research at the University of Oxford
Session C is a communication-safe programming framework which combines multiparty session types with the C programming language.