activity
20192026
most citedComparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types

4 citations · 14 across the 8 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.FL2021

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…