Fairness and communication-based semantics for session-typed languages

Ryan Kavanagh. Fairness and communication-based semantics for session-typed languages. Inf. Comput., 285(Part):104892, 2022. [doi]

Abstract

Abstract is missing.