Abstract Subtyping for Asynchronous Multiparty Sessions.

Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson

Browse the full CONCUR paper archive.