20 citations · 29 across the 2 of their papers we have counts for
1 paper · 1 filter
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
This paper introduces a new theory of multiparty session types based on symmetric sum types, by which we can type non-deterministic orchestration choice behaviours. While the origi…