Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan. Locally Static, Globally Dynamic Session Types for Active Objects. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{HahnleHK20,
title = {Locally Static, Globally Dynamic Session Types for Active Objects},
author = {Reiner Hähnle and Anton W. Haubner and Eduard Kamburjan},
year = {2020},
doi = {10.4230/OASIcs.Gabbrielli.1},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.1},
researchr = {https://researchr.org/publication/HahnleHK20},
cites = {0},
citedby = {0},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
editor = {Frank S. de Boer and Jacopo Mauro},
volume = {86},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-171-9},
}