Todoran, Eneia. " Metric Denotational Semantics for Remote Process Destruction and Cloning" Studia Universitatis BabeČ™-Bolyai Informatica [Online], Volume 62 Number 2 (17 December 2017)