Bisimulation for higher-order process calculi (1996)

by Davide Sangiorgi
Venue:INFORMATION AND COMPUTATION