Types and Verification for Delegated Control of Hybrid Objects

Published in AOL, 2023

Recommended citation: Eduard Kamburjan, Michael Lienhardt. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.