26 citations · 41 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 26 cited
Globally Governed Session Semantics
Dimitrios Kouzapas, Nobuko Yoshida
This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.…
cs.PL2014★ 15 cited
Session Types for Broadcasting
Dimitrios Kouzapas, Ramūnas Gutkovas, Simon J. Gay
Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure se…