π-calculus, Session Types research at the University of Oxford
Subtyping asynchronous session types in Rocq.