6 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…