Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Browse the full VMCAI paper archive.
Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Browse the full VMCAI paper archive.