Fifo (n, in, out) =
IdInt (in, c[0]) ||
([||i = 0 FOR n-2] IdInt (c[i], c[i+1])) ||
IdInt (c[n-2], out)
Note: this is such a common idiom that it
is provided as a (channel) primitive in JCSP.
| Previous slide | Next slide | Back to first slide | View graphic version |