A Logical Interpretation of Asynchronous Multiparty Compatibility.

Marco Carbone, Sonia Marin, Carsten Schrmann

Browse the full LOPSTR paper archive.