Occam Processes 2

PROC nos(CHAN OF INT out)

CHAN OF INT a,b,c:

PAR

prefix(a, b, 0)

delta(b, c, out)

succ(c, a)

:

Previous slide

Next slide

Back to first slide

View graphic version