---

Semaphore A = 0;

Semaphore B = 0;

Semaphore C = 0;

Semaphore D = 0;

A() { V(A)};

B() { V(B) };

C(P(A):P(B); V(C)