35 citations · 63 across the 23 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…