Categorical Structure of Asynchrony (1999)

by P Selinger
Venue:Proceedings of MFPS 15”, Electronic Notes in Theoretical Computer Science