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.