On bisimulations for the asynchronous -calculus (1996)

by R M Amadio, I Castellani, D Sangiorgi
Venue:Proceedings CONCUR 96