Catuscia Palamidessi Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus http://arxiv.org/abs/cs.PL/9809008 1998 CoRR cs.PL/9809008 db/journals/corr/corr9809.html#cs-PL-9809008 informal publication