Presheaf Models for Concurrency.

Gian Luca Cattani, Glynn Winskel

Browse the full CSL paper archive.