14 citations · 36 across the 11 of their papers we have counts for
1 paper · 2 filters
Dylan McDermott, Nobuko Yoshida
We provide the first denotational semantics for asynchronous multiparty session types with precise asynchronous subtyping. Our semantics enables us to reason about asynchronous mes…