1 citations · 1 across the 1 of their papers we have counts for
1 paper
Kirstin Peters, Nobuko Yoshida
Multiparty session types (MP) are a type discipline for enforcing the structured, deadlock-free communication of concurrent and message-passing programs. Traditional MP have a limi…