Para la parte a definí una cola de procesos bloqueados que se van desbloqueando de manera FIFO cuando el proceso que estaba ejecutando dejó la zona crítica.
Pero para la parte b donde se pide mejorar esa solución, los procesos se bloquean cuando hacen SEND si ya hay un proceso ejecutando la zona crítica. Logré simplificar la solución pero la pregunta es, el orden de desbloqueo de esos procesos importa? Y dónde van quedando esos procesos que se bloquean?