Entrega Ejercicio 2.9.19
Entrega Ejercicio 2.9.19
Requisitos de finalización
Apertura: viernes, 18 de agosto de 2023, 00:00
Cierre: jueves, 31 de agosto de 2023, 16:00
Prove that in protocol Shout, if an entity sends Yes, then it is connected to the initiator by a path where on every link a Yes has been transmitted. (Hint: use induction.)