sem A=0;
sem B=0;
sem C=0;
sem D=0;
thread a{
    ....;
    V(A);
}
thread b{
    ....;
    V(B);
}
thread c{
    P(A);
    P(B);
    ....;
    V(C);
}

thread D{
    ....;
    V(D);
}

thread E{
    P(C);
    P(D);
    ....;
    V(C);
    v(D);
}