π-calculus, Session Types research at the University of Oxford
cherry-pi is a formal session-based language enriched with programming facilities to commit session interactions, to roll back the computation to a previous commit point, and to abort the session.