Presheaf models for concurrency. (1996)

by G L Cattani, G Winskel
Venue:In CSL’96,