La consulta es: no debería haber una flecha en las esperas B que diga rdt_rcv(rcvpkt) &&(isCorrupt(rcvpkt) || isNot(rcvpkt,1)), porque como está, en los casos en que el paquete es corrupto no toma ninguna acción.
El receptor de la solución del problema 1 es el siguiente