Generalising Projection in Asynchronous Multiparty Session Types

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…