A seguir: Formulação e Prova de Acima: CSP - Communicating Sequential Anterior: Notas
Exercício 17129 (Uso de Semáforos)
Use semáforos para implementar lock(), unlock(), wait() e wakeup().