RECURSION IN OCCAM

RECURSIVE PROC sieve (VAL INT count, CHAN INT in?, out!)
INT n:
SEQ
in ? n
IF

count = 1
end.sieve (n, in?, out!)
TRUE
SEQ
out ! n
PAR
filter (n, in?, c!)
sieve (count - 1, c?, out!)