2.2.2 Sequence of events
Each role in the protocol corresponds to the event list. In other words, a structure is imposed on the protocol event set belonging to the role R, and the total seque
2.2.2 Sequence of events
Each role in the protocol corresponds to the event list. In other words, a structure is imposed on the protocol event set belonging to the role R, and the total seque