A Synthetic Reconstruction of Multiparty Session Types (with Appendix)

David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans

Multiparty session types (MPST) provide a rigorous foundation for verifying the safety and liveness of concurrent systems. However, existing approaches often force a difficult trad…