A theory of bisimulation for the -calculus (1993)

by D Sangiorgi