Quorum Tree Abstractions of Consensus Protocols.

Berk irisci, Constantin Enea, Suha Orhun Mutluergil

Browse the full ESOP paper archive.