Locally Static, Globally Dynamic Session Types for Active Objects

Published in Festschrift Maurizio Gabbrielli, 2020

Recommended citation: Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan. (2020). Festschrift Maurizio Gabbrielli. OASIcs 86