Types, or: Where's the Difference Between CCS and pi?

Davide Sangiorgi

Browse the full CONCUR paper archive.