Practical Scalable Consensus for Pseudo-Synchronous Distributed Systems: Formal Proof

TitlePractical Scalable Consensus for Pseudo-Synchronous Distributed Systems: Formal Proof
Publication TypeTech Report
Year of Publication2015
AuthorsHerault, T., A. Bouteiller, G. Bosilca, M. Gamell, K. Teranishi, M. Parashar, and J. Dongarra
Technical Report Series TitleInnovative Computing Laboratory Technical Report
NumberICL-UT-15-01
Date Published2015-04
Project Tags: