4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Alceste Scalas, Nobuko Yoshida
Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing ca…