2 citations · 2 across the 1 of their papers we have counts for
1 paper
Elaine Li, Felix Stutz, Thomas Wies +1
Multiparty session types (MSTs) are a type-based approach to verifying communication protocols. Central to MSTs is a projection operator: a partial function that maps protocols rep…