(Almost) Every Process Calculus has a Compositional and Fully Abstract Encoding into Pi-Calculi
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.
Extended abstract: ps.gz, pdf. Status: unpublished.
$Id: index.html,v 1.2 2004/09/22 20:31:23 martinb Exp $