On Bisimulations for the Asynchronous pi-Calculus.

Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi

Browse the full CONCUR paper archive.