Process Y {
port IntReader
port0;
port IntReader
port1;
port IntWriter
port2;
…
void thread()
{
int z;
while
(true) {
await
{
(port0.n()>) && port1.n() >0;
port0.IntReader, port1.IntReader;
port0.IntReader, port1.IntReader)
{ z
= foo(port0.readInt(),port1.readInt());}
}
port2.writeInt(z);
}}
int foo(int
x, int y) {…}
}