Parameterised Multiparty Session Types

Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri +1

For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T…