Presheaf models for CCS-like languages (2003)

by G L Cattani, G Winskel
Venue:Theoretical Computer Science