Categorical structure of asynchrony (1999)

by P Selinger
Venue:In MFPS’98 (invited talk