Categories for synchrony and asynchrony (1995)

by J R B Cockett, D A Spooner
Venue:Electronic Notes in Theoretical Computer Science