Bisimulation for Higher-Order Process Calculi (1996)

by D Sangiorgi
Venue:Information and Computation