π-calculus, Session Types research at the University of Oxford
The paper ‘Designing Asynchronous Multiparty Protocols with Crash-Stop Failures’, by Adam Barwell, Ping Hou, Nobuko Yoshida, and Fangyi Zhou, was distinguished at the 37th European Conference on Object-Oriented Programming (ECOOP 2023).
The paper can be found here, as well as in our website.