Summary: Brief Announcement: A Framework for Semantic
Reasoning
about
Byzantine Quorum Systems
Evelyn Pierce
D ’
epartement de Syst ‘
emes de Communication
Ecole Polytechnique Federale de Lausanne
1015 Lausanne, Switzerland
evelyn.pierce@epfl.ch
Lorenzo Alvisi
Department of Computer Sciences
University of Texas at Austin
Austin, TX USA
lorenzo@cs.utexas.edu
ABSTRACT
We have defined a class of shared variables called TS­variables
that includes those implemented by the various Byzantine
quorum system constructions of Malkhi and Reiter, and de­

Source: Alvisi, Lorenzo - Department of Computer Sciences, University of Texas at Austin

Collections: Computer Technologies and Information Sciences