Towards a Unified Approach to Encodability and Separation Results for Process Calculi.

Daniele Gorla

Browse the full CONCUR paper archive.