Buenas tardes, necesitaría hacerles una consulta sobre la solución planteada al problema 1 del examen del 27 de julio de 2010.
En el Estado "Espera I-Frame 1 desde abajo" del Receptor, creo que hay un error en la condición que dice:
rdt_rcv(rcvpkt)
&& is_not_Ack(rcvpkt)
&& (corrupt(rcvpkt) ||
&& has_frame(rcvpkt,I-Frame)
&& has_sec(rcvpkt,0)
----------------------------
udt_send(sndpkt)
Yo pienso que debería ser así:
rdt_rcv(rcvpkt)
&& is_not_Ack(rcvpkt)
&& (corrupt(rcvpkt) || has_sec(rcvpkt,0))
&& has_frame(rcvpkt,I-Frame)
----------------------------
udt_send(sndpkt)
Es correcto?
Desde ya muchas gracias por la ayuda,
Saludos
Juan