Home » Authors » Jake Masters, Nobuko Yoshida

Jake Masters, Nobuko Yoshida

Public reference bibliography and cataloged PDF materials authored or published by Jake Masters, Nobuko Yoshida.

Found 1 document(s) Page 1 of 1

What is a Good Projection?: Correctness and Separation Results of End-Point Projections

Year: 2026 • Source: arxiv.org • Listed PDF

\emph{Multiparty session types} (MPST) is a type discipline for ensuring distributed programs are implemented correctly \emph{by construction}. MPST starts by specifying a choreographic protocol as a \emph{global type} a...