Bisimulation for higher-order process calculi (1996)

Cached

Download Links

by Davide Sangiorgi
Venue:INFORMATION AND COMPUTATION
Citations:58 - 4 self