Denotational reasoning for asynchronous multiparty session types

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…