NAME = "Nonblocking-Mixer" I = { r0, r1, a } O = { a0, a1, r } MX = M/a? M = a?;[ r0? -> a0!; r!; M, r1? -> a1!; r!; M ] [{r0},{a0}] [{r1},{a1}] [{r},{a}]