resource pipe(int i, int m, cap(int) inp, cap(int) out, cap(int) result)
int my_el
int value

process test {
receive inp(my_el)
for [j= 1 to m-i] { 	receive inp(value); 
			if (my_el <= value) { send out(value) }
			else                { send out(my_el); my_el = value }
			}


write("Prozess ",i," ermittelte Element ",my_el)

for [j = 1 to i-1] {	receive inp(value)
											send out(value)
		               }
send out(my_el)

# send result(my_el)
}
end