---

semaphore ac=0;

bc=0

a() v(ac)

b() v(bc)

c() wait(bc) wait(ac)

      signal(cd,ce)

d() wait(cd)

e() wait(ce) signal(ef)

f() wait(ef)