Bisimulation for higher-order process calculi (1996)

View PDF

Download Links

by Davide Sangiorgi
Venue:INFORMATION AND COMPUTATION
Citations:62 - 5 self