Reducing asynchrony to synchronized rounds

Andrei Damien, Cezara Dragoi, Alexandru Militaru +1

Synchronous computation models simplify the design and the verification of fault-tolerant distributed systems. For efficiency reasons such systems are designed and implemented usin…