Presheaf models for concurrency (1996)

by G L Cattani, G Winskel
Venue:of Lecture Notes in Computer Science