[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Transputer/occam example of sliding choice?
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.