[IEEE 2011 5th Latin-American Symposium on Dependable Computing (LADC) - Sao Jose dos Campos, Brazil (2011.04.25-2011.04.29)] 2011 5th Latin-American Symposium on Dependable Computing - Timing Analysis of Leader-Based and Decentralized Byzantine Consensus AlgorithmsBorran, Fatemeh; Hutle, Martin; Schiper, André · 2011