20 citations · 29 across the 2 of their papers we have counts for
2 papers
cs.FL2013★ 9 cited
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
Pierre-Malo Deniélou, Nobuko Yoshida
Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global sp…
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…