Presheaf Models for Concurrency (1996)

by G L Cattani, G Winskel
Venue:in Computer Science Logic, CSL'96, D. van Dalen and M. Bezem Eds., Springer Lecture Notes in Computer Science 1258