Using an algorithm due to Safra for distributed termination detection as...
Blockchain has recently attracted the attention of the industry due, in ...
We propose a modified primal-dual method for general convex optimization...
Partial synchrony is a model of computation in many distributed algorith...
Threshold guards are a basic primitive of many fault-tolerant algorithms...
In Tendermint blockchains, the proof-of-stake mechanism and the underlyi...