Entrega Ejercicio 2.9.19
Entrega Ejercicio 2.9.19
Requisitos de finalización
Apertura: martes, 20 de agosto de 2024, 00:00
Cierre: jueves, 5 de septiembre de 2024, 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.)