Binary and Two-Party Asynchronous Subtypings are Equivalent.

Maurizio Murgia

Browse the full FORTE paper archive.