MobilityReadingGroup

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

mpstpp

Multiparty Session Types Plus +

mpstpp at a glance

Related publications

Sung-Shik Jongmans, Nobuko Yoshida: Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP 2020 : 251 - 279.