Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Brief Announcement: A Framework for Semantic Byzantine Quorum Systems
 

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