Active quorum systems: Specification and correctness proof

TitleActive quorum systems: Specification and correctness proof
Publication TypeJournal Article
Year of Publication2010
AuthorsBessani, A. Neves