Time Semantics and Liveness Artifacts in Adversarial Consensus Simulation

Nasit S Sony, Xianzhong Ding

Adversarial consensus simulators require not only a model of message delivery but also a model of time. For timeout-sensitive protocols, coupling protocol-time progression to sched…