On bisimulations for the asynchronous ss-calculus (1998)

by Roberto M Amadio, Ilaria Castellani, Davide Sangiorgi
Venue:Theoretical Computer Science