Todoran, E. (2017). Metric Denotational Semantics for Remote Process Destruction and Cloning. Studia Universitatis BabeČ™-Bolyai Informatica, 62(2), 93-108. doi:10.24193/subbi.2017.2.08