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

Yen-Jung Chang, Vijay K. Garg

Browse the full OPODIS paper archive.