Occam Processes 1

PROC id(CHAN OF INT in, out)

while TRUE

INT x:

SEQ

in ? X

out ! X

:

PROC succ(CHAN OF INT in, out)

while TRUE

INT x:

SEQ

in ? X

out ! X + 1

:

PROC prefix(CHAN OF INT in, out, INT i)

INT x:

SEQ

out ! X

id(in, out)

:

PROC delta(CHAN OF INT in, out1, out2)

while TRUE

INT x:

SEQ

in ? X

PAR

out1 ! X

out2 ! X

:

Previous slide

Next slide

Back to first slide

View graphic version