65 citations · 340 across the 42 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.DC2010★ 20 cited
Multiparty Symmetric Sum Types
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…
cs.PL2010★ 3 cited
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Andi Bejleri, Raymond Hu, Nobuko Yoshida
This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parall…