NAME = (Initialized 1 bit variable with arbitration) I = { w0, w1, r } O = { v0, v1, a } V = V0 V0 = [w0? -> a!; V0 , w1? -> a!; V1 , r? -> v0!; V0] V1 = [w0? -> a!; V0 , w1? -> a!; V1 , r? -> v1!; V1] .