15 citations · 15 across the 1 of their papers we have counts for
1 paper
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…