Viendo la solución de ADA hay un procedimiento que acepta un entry que nadie llama. Eso no es un deadlock importante?
En ese caso hay tareas que no están implementadas porque no las pide la letra. Esas son los que llaman a los accepts que no llama nadie.