Transputer/occam example of sliding choice?

[Larry Dickson <tjoccam@xxxxxxxxxxx>]

All,

You guys really cleaned up my problem with occam 2.5 counted array protocol, thank you! So here is another.

Can anyone come up with an example, in occam running on Transputers or near-Transputers, that models the "sliding choice" that is so often described in CSP literature (the triangle pointing right)? It's OK to add a random function as one might to get nondeterminism |~| . It's got to have the same traces and failures.

Thanks,

Larry Dickson