Semantics of Distributed Processes Derived by Translation