Bisimulation for higher-order process calculi (1995)

by D Sangiori
Venue:INRIA Report, Sophia-Antipolis