NAME = (RGDA Arbiter) I = { r0, d0, r1, d1 } O = { g0, g1, a0, a1 } RGDA = [ r0? -> g0! ; [ d0? -> a0! ; RGDA, d1? -> CHAOS, r0? -> CHAOS ], r1? -> g1! ; [ d1? -> a1! ; RGDA, d0? -> CHAOS, r1? -> CHAOS ], d0? -> CHAOS, d1? -> CHAOS ] .