A type discipline for message passing parallel programs (ACM Transactions on Programming Languages and Systems, 2022)

(untitled) - Vasconcelos, VT; Martins, F; López, H-A; Yoshida, N