Abstract. It is shown that (under some rather weak constraints) every untimed process calculus can be embedded into various calculi (for example the asynchronous Pi-Calculus) in a fully abstract and compositional manner. The encoding is compositional w.r.t. parallel composition. The encoding is also non-computable.