I think there is something wrong with the definition of \delta-synchor
I think the right definition is that if all messages that have been sent by honest replicas at or before time t arrive at their destination before time t+\delta
@diegop can you help take a look and find the man?
Yup, Will take a look
@victorshoup could you tell me if the definition of delta synchronous is right?