Figure 4From: Discrete control for ensuring consistency between multiple autonomic managersMutual exclusion enforced by DCS in BZR. Figure 4 shows the design of a controller in BZR programming language. In this example we compose two instances of the program shown in Figure 3 and enforce a mutual exclusion between two instances.Back to article page