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 Published04-2015
Project Tags: