Return to Article Details Metric Denotational Semantics for Remote Process Destruction and Cloning Download Download PDF