@techreport {872, title = {Practical Scalable Consensus for Pseudo-Synchronous Distributed Systems: Formal Proof}, journal = {Innovative Computing Laboratory Technical Report}, number = {ICL-UT-15-01}, year = {2015}, month = {2015-04}, author = {Thomas Herault and Aurelien Bouteiller and George Bosilca and Marc Gamell and Keita Teranishi and Manish Parashar and Jack Dongarra} }