Hola que tal, tengo una duda de la solución.
En la máquina de estados de C,
suponemos que arranca; me llega un paquete de A, seq 0, no corrupto y avanzo al siguiente estado: "wait for 0 from B".
Y suponemos, que el ACK que acabamos de mandar se pierde. Por lo tanto en A, salta el timeout y vuelve a mandar el paquete de seq0.
Pero el receiver de C lo va a ignorar, y nunca le manda el ACK de nuevo, tracando todo el sistema ( A se queda reenviando el paquete para siempre ) y C si recibe un paquete de seq0 de B, avanza al próximo estado, en el cual no contempla que te pueda llegar un paquete de seq 0 de A y creashearía ?
Mi pregunta viene por el lado de que si el razonamiento está bien o si los ACK se asumen que no se pueden perder? Porque en el realidad en la letra dice: "por un canal que puede perder".
Gracias!