Locally Static, Globally Dynamic Session Types for Active Objects. - Reiner Hähnle; Anton W. Haubner; Eduard Kamburjan (Gabbrielli's Festschrift, 2020)