Generalize Linear Channels by Usage Annotations
We can uniformly express usage of
Linear Channels
Oco|(Ico.-)
¡ÈSemaphore¡É Channels
Oo|!(Ic.Oo)
¡ÈClient-Server¡É Channels
!Oc|!(Io.-)
etc.
Previous slide
Next slide
Back to first slide
View graphic version