A theory of bisimulation for the π-calculus (1996)

by A Tiu, D Miller Sangiorgi, D
Venue:ACM Journal