Bisimulation for Higher-Order Process Calculi (1996)

by Davide Sangiorgi
Venue:Information and Computation