Sat Jan 18 06:59:50 CET 2020

Relation between CSP and dataflow

This is more about the guarantee not to block.  E.g. suppose data is
coming in over USB.  Take the recent DMX box example.  I want to
guarantee that an external CSP send will succeed.  Is there a way to
express that in CSP algebra terms?

In the example, a buffer is needed in beteen USB input and DMX output.
It doesn't matter where it goes, but it has to be there.