MobilityReadingGroup

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

isorecursive-mpst
Iso-Recursive Multiparty Sessions and their Automated Verification

Iso-recursive MPST in Rocq, Why3 and Cameleer.

Link
Related publications