Hybrid multiparty session types: compositionality for protocol specification through endpoint projection (Proceedings of the ACM on Programming Languages, 2023)

(untitled) - Gheri, L; Yoshida, N