Todoran, Eneia. " Metric Denotational Semantics for Remote Process Destruction and Cloning." Studia Universitatis BabeČ™-Bolyai Informatica [Online], 62.2 (2017): 93-108. Web. 28 Mar. 2024