Implementacion de semaforos