CoMPSeT: A Framework for Comparing Multiparty Session Types

Telmo Ribeiro, José Proença, Mário Florido

Concurrent systems are often complex and difficult to design. Choreographic languages, such as Multiparty Session Types (MPST), allow the description of global protocols of interac…