MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

mpstlive
Formally Verified Liveness with Multiparty Session Types in Rocq

Formally verified liveness for synchronous multiparty session types in Rocq.

Link Sources
Related publications