51 citations · 191 across the 20 of their papers we have counts for
Showing 2014 · cs.PLShow all
2 papers · 2 filters
cs.PL2014★ 12 cited
Session Types as Generic Process Types
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…
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…