QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations

Yen-Jung Chang, Vijay K. Garg. QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. In Emmanuelle Anceaume, Christian Cachin, Maria Gradinariu Potop-Butucaru, editors, 19th International Conference on Principles of Distributed Systems, OPODIS 2015, December 14-17, 2015, Rennes, France. Volume 46 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.