Mailbox Types for Unordered Interactions.

Ugo de'Liguoro, Luca Padovani

Browse the full ECOOP paper archive.