pdf-format: |
|
@InProceedings{deliguoro_et_al:LIPIcs:2018:9220, author = {Ugo de'Liguoro and Luca Padovani}, title = {{Mailbox Types for Unordered Interactions}}, booktitle = {32nd European Conference on Object-Oriented Programming (ECOOP 2018)}, pages = {15:1--15:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-079-8}, ISSN = {1868-8969}, year = {2018}, volume = {109}, editor = {Todd Millstein}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9220}, URN = {urn:nbn:de:0030-drops-92209}, doi = {10.4230/LIPIcs.ECOOP.2018.15}, annote = {Keywords: actors, concurrent objects, first-class mailboxes, unordered communication protocols, behavioral types, protocol conformance, deadlock freedom, junk f} }
Keywords: | actors, concurrent objects, first-class mailboxes, unordered communication protocols, behavioral types, protocol conformance, deadlock freedom, junk f | |
Seminar: | 32nd European Conference on Object-Oriented Programming (ECOOP 2018) | |
Issue date: | 2018 | |
Date of publication: | 10.07.2018 |