Ugo de'Liguoro, Luca Padovani
Mailbox Types for Unordered Interactions
ECOOP, 2018.
@inproceedings{ECOOP-2018-deLiguoroP, author = "Ugo de'Liguoro and Luca Padovani", booktitle = "{Proceedings of the 32nd European Conference on Object-Oriented Programming}", doi = "10.4230/LIPIcs.ECOOP.2018.15", isbn = "978-3-95977-079-8", pages = "28", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Mailbox Types for Unordered Interactions}", year = 2018, }