π-calculus, Session Types research at the University of Oxford
The paper ‘Rollback Recovery in Session Based Programming’, by Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida, has won the best paper award at the 25th International Conference on Coordination Models and Languages (Coordination 2023).
The paper can be found here, as well as in our website.