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

by D Sangiorgi
Venue:Acta Informatica