(Almost) Every Process Calculus has a Compositional and Fully Abstract Encoding into π-Calculi

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.

Downloads: Currently unavailable