Simulacion funcional, sin deadlocks