A framework for semantic reasoning about Byzantine quorum systems.

Evelyn Tumlin Pierce, Lorenzo Alvisi

Browse the full PODC paper archive.