TODORAN, E. N. “METRIC DENOTATIONAL SEMANTICS FOR REMOTE PROCESS DESTRUCTION AND CLONING”. Studia Universitatis Babeș-Bolyai Informatica, vol. 62, no. 2, Dec. 2017, pp. 93-108, doi:10.24193/subbi.2017.2.08.