Cattani and Glynn Winskel. Presheaf models for concurrency (1996)

by Gian Luca
Venue:of Lecture Notes in Computer Science