Locally Static, Globally Dynamic Session Types for Active Objects

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]

Abstract

Abstract is missing.