Heterogeneous process migration