29 citations · 54 across the 9 of their papers we have counts for
1 paper · 1 filter
Rupak Majumdar, Madhavan Mukund, Felix Stutz +1
Multiparty session types (MSTs) provide an efficient methodology for specifying and verifying message passing software systems. In the theory of MSTs, a global type specifies the i…