%--- conferences --------------------------------------------------
@STRING{WDAG96 = "Proceedings of the 10th International Workshop
                  on Distributed Algorithms (WDAG'96)"}
@STRING{WDAG97 = "Proceedings of the 11th International Workshop
                  on Distributed Algorithms (WDAG'97)"}
@STRING{DISC98 = "Proceedings of the 12th International Conference
                  on Distributed Computing ({DISC}'98)"}
@STRING{DISC99 = "Proceedings of the 13th International Conference
                  on Distributed Computing ({DISC}'99)"}
@STRING{DISC98 = "Proceedings of the 13th International Conference
                  on Distributed Computing ({DISC}'98)"}
@STRING{DISC99 = "Proceedings of the 13th International Conference
                  on Distributed Computing ({DISC}'99)"}
@STRING{DISC00 = "Proceedings of the 14th International Conference
                  on Distributed Computing ({DISC}'00)"}
@STRING{DISC01 = "Proceedings of the 15th International Conference
                  on Distributed Computing ({DISC}'01)"}
@STRING{DISC02 = "Proceedings of the 16th International Conference
                  on Distributed Computing ({DISC}'02)"}
@STRING{DISC03 = "Proceedings of the 17th International Conference
                  on Distributed Computing ({DISC}'03)"}
@STRING{DISC04 = "Proceedings of the 18th International Conference
                  on Distributed Computing ({DISC}'04)"}
@STRING{DISC05 = "Proceedings of the 19th International Conference
                  on Distributed Computing ({DISC}'05)"}
@STRING{PODC83 = "Proceeding of the 1st Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'83)"}
@STRING{PODC91 = "Proceeding of the 9th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'91)"}
@STRING{PODC94 = "Proceeding of the 12th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'94)"}
@STRING{PODC95 = "Proceeding of the 13th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'95)"}
@STRING{PODC96 = "Proceeding of the 14th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'96)"}
@STRING{PODC97 = "Proceeding of the 15th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'97)"}
@STRING{PODC98 = "Proceeding of the 16th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'98)"}
@STRING{PODC99 = "Proceeding of the 17th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'99)"}
@STRING{PODC00 = "Proceeding of the 18th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'00)"}
@STRING{PODC01 = "Proceeding of the 19th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'01)"}
@STRING{PODC02 = "Proceeding of the 20th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'02)"}
@STRING{PODC03 = "Proceeding of the 21st Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'03)"}
@STRING{PODC03 = "Proceeding of the 22nd Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'03)"}
@STRING{PODC04 = "Proceeding of the 23rd Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'04)"}
@STRING{PODC05 = "Proceeding of the 24th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'05)"}
@STRING{PODC06 = "Proceedings of the 25th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'06)"}
@STRING{PODC07 = "Proceedings of the 26th Annual {ACM} Symposium on
                  Principles of Distributed Computing ({PODC}'07)"}
@STRING{STOC91 = "Proceedings of the 23rd Annual {ACM} Symposium on
                  Theory of Computing ({STOC}'91)"}
@STRING{WSS01  = "Proceedings of the 5th International Workshop on
                  Self-Stabilizing Systems ({WSS} '01)"}
@STRING{SSS06  = "Proceedings of the 8th International Symposium on
                  Stabilization, Safety, and Security of Distributed
                  Systems ({SSS} '06)"}
@STRING{DSN00  = "Dependable Systems and Networks ({DSN} 2000)"}
@STRING{DSN05  = "Dependable Systems and Networks ({DSN} 2005)"}
@STRING{DSN06  = "Dependable Systems and Networks ({DSN} 2006)"}
@STRING{DSN07  = "Dependable Systems and Networks ({DSN} 2007)"}

%--- journals -----------------------------------------------------
@STRING{PPL = "Parallel Processing Letters"}
@STRING{IPL = "Information Processing Letters"}
@STRING{DC = "Distributed Computing"}
@STRING{JACM = "Journal of the ACM"}
@STRING{IC = "Information and Control"}
@STRING{TCS = "Theoretical Computer Science"}
@STRING{ACMTCS = "ACM Transactions on Computer Systems"}
@STRING{TDSC = "Transactions on Dependable and Secure Computing"}
@STRING{TPLS = "ACM Trans. Program. Lang. Syst."}

%--- publisher ----------------------------------------------------
@STRING{ACM = "ACM Press"}
@STRING{IEEE = "IEEE"}
@STRING{SPR = "Springer-Verlag"}

%--- institution --------------------------------------------------
@STRING{TUAuto = {Technische Universit\"at Wien, Department of
                  Automation}}
@STRING{TUECS  = {Technische Universit\"at Wien, Embedded Computing
                  Systems Group}}


%------------------------------------------------------------------
@article{ABND+90:jacm,
  author =	 {Hagit Attiya and Amotz Bar-Noy and Danny Dolev and
                  David Peleg and R{\"u}diger Reischuk},
  title =	 {Renaming in an asynchronous environment},
  journal =	 JACM,
  volume =	 {37},
  number =	 {3},
  year =	 {1990},
  pages =	 {524--548},
  publisher =	 ACM,
  address =	 {New York, NY, USA},
}

@article{ABND95:jacm,
  author =	 {Hagit Attiya and Amotz Bar-Noy and Danny Dolev},
  title =	 {Sharing memory robustly in message-passing systems},
  journal =	 JACM,
  volume =	 {42},
  number =	 {1},
  year =	 {1995},
  pages =	 {124--142},
  publisher =	 ACM,
  address =	 {New York, NY, USA},
}

@inproceedings{ACKM04:podc,
  author =	 {Ittai Abraham and Gregory Chockler and Idit Keidar
                  and Dahlia Malkhi},
  title =	 {Byzantine disk paxos: optimal resilience with
                  byzantine shared memory.},
  booktitle =	 PODC04,
  year =	 {2004},
  pages =	 {226-235}
}

@article{ACKM05:dc,
  author =	 {Ittai Abraham and Gregory Chockler and Idit Keidar
                  and Dahlia Malkhi},
  title =	 {Byzantine disk paxos: optimal resilience with
                  byzantine shared memory.},
  journal =	 DC,
  volume =	 {18},
  number =	 {5},
  year =	 {2006},
  pages =	 {387-408}
}

@article{ACT00:dc,
  author =	 "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg",
  title =	 "Failure Detection and Consensus in the
                  Crash-Recovery Model",
  journal =	 DC,
  year =	 2000,
  month =	 apr,
  volume =	 13,
  number =	 2,
  pages =	 "99--125",
  url =
                  "http://www.cs.cornell.edu/home/sam/FDpapers/crash-recovery-finaldcversion.ps"
}

@article{ACT00:siam,
  author =	 "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg",
  title =	 "On quiescent reliable communication",
  journal =	 "SIAM Journal of Computing",
  year =	 2000,
  volume =	 29,
  number =	 6,
  pages =	 "2040--2073",
  month =	 apr
}

@inproceedings{ACT97:wdag,
  author =	 "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg",
  title =	 "Heartbeat: A Timeout-Free Failure Detector for
                  Quiescent Reliable Communication",
  booktitle =	 WDAG97,
  year =	 1997,
  pages =	 "126--140",
  url =
                  "http://simon.cs.cornell.edu/Info/People/weichen/research/mypapers/wdag97final.ps"
}

@article{ACT98:disc,
  author =	 "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg",
  title =	 "Failure Detection and Consensus in the
                  Crash-Recovery Model",
  journal =	 DISC98,
  year =	 1998,
  pages =	 "231--245",
  publisher =	 SPR
}

@article{ACT99:tcs,
  author =	 "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg",
  title =	 "Using the Heartbeat Failure Detector for Quiescent
                  Reliable Communication and Consensus in
                  Partitionable Networks",
  journal =	 "Theoretical Computer Science",
  year =	 1999,
  month =	 jun,
  volume =	 220,
  number =	 1,
  pages =	 "3--30",
  url =
                  "http://www.cs.cornell.edu/home/sam/FDpapers/TCS98final.ps"
}

@inproceedings{ADGF+04:ispdc,
  author =	 {Anceaume, Emmanuelle and Delporte-Gallet, Carole and
                  Fauconnier, Hugues and Hurfin, Michel and Le Lann,
                  G{\'e}rard },
  title =	 {Designing Modular Services in the Scattered
                  Byzantine Failure Model.},
  booktitle =	 {ISPDC/HeteroPar},
  year =	 {2004},
  pages =	 {262-269}
}

@inproceedings{ADGF+06:dsn,
  author =	 {Marcos Kawazoe Aguilera and Carole Delporte-Gallet
                  and Hugues Fauconnier and Sam Toueg},
  title =	 {Consensus with Byzantine Failures and Little System
                  Synchrony.},
  booktitle =	 DSN06,
  year =	 {2006},
  pages =	 {147-155}
}

@inproceedings{ADGFT01:disc,
  author =	 "Marcos Kawazoe Aguilera and Carole Delporte-Gallet
                  and Hugues Fauconnier and Sam Toueg",
  title =	 "Stable Leader Election",
  booktitle =	 DISC01,
  year =	 2001,
  pages =	 "108--122",
  publisher =	 SPR
}

@inproceedings{ADGFT03:podc,
  author =	 "Marcos K. Aguilera and Carole Delporte-Gallet and
                  Hugues Fauconnier and Sam Toueg",
  title =	 "On implementing {O}mega with weak reliability and
                  synchrony assumptions",
  booktitle =	 PODC03,
  year =	 2003,
  publisher =	 ACM
}

@inproceedings{ADGFT04:podc,
  author =	 {Marcos K. Aguilera and Carole Delporte-Gallet and
                  Hugues Fauconnier and Sam Toueg},
  title =	 {Communication-efficient leader election and
                  consensus with limited link synchrony},
  booktitle =	 PODC04,
  year =	 2004,
  pages =	 {328--337},
  address =	 {St. John's, Newfoundland, Canada},
  publisher =	 ACM
}

@inproceedings{ADGFT06:dsn,
  author =	 {Marcos Kawazoe Aguilera and Carole Delporte-Gallet
                  and Hugues Fauconnier and Sam Toueg},
  title =	 {Consensus with Byzantine Failures and Little System
                  Synchrony.},
  booktitle =	 DSN06,
  year =	 2006,
  pages =	 {147-155},
  ee =
                  {http://doi.ieeecomputersociety.org/10.1109/DSN.2006.22},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{ADLS91:stoc,
  author =	 "Hagit Attiya and Cynthia Dwork and Nancy A. Lynch
                  and Larry J. Stockmeyer",
  title =	 "Bounds on the Time to Reach Agreement in the
                  Presence of Timing Uncertainty",
  booktitle =	 STOC91,
  year =	 1991,
  pages =	 "359--369",
}

@article{AT99:ipl,
  author =	 "Marcos Kawazoe Aguilera and Sam Toueg",
  title =	 "A Simple Bivalency Proof that t -Resilient Consensus
                  Requires t + 1 Rounds",
  journal =	 IPL,
  volume =	 "71",
  number =	 "3-4",
  pages =	 "155--158",
  year =	 "1999"
}

@Book{AW04:book,
  author =	 {Attiya, Hagit and Welch, Jennifer},
  title =	 {Distributed Computing},
  publisher =	 {John Wiley {\&} Sons},
  edition =	 {2nd},
  year =	 {2004}
}

@Book{AW98:book,
  author =	 {Hagit Attiya and Jennifer Welch},
  title =	 {Distributed Computing},
  publisher =	 {McGraw-Hill Publishing Company},
  year =	 {1998}
}

@InBook{AW98:book:chap12,
  author =	 {Hagit Attiya and Jennifer Welch},
  title =	 {Distributed Computing},
  publisher =	 {McGraw-Hill Publishing Company},
  year =	 {1998},
  chapter =	 {12, "Improving the fault-tolerance of algorithms"}
}

@inproceedings{ABHMS11:disc,
  author    = {Hagit Attiya and
               Fatemeh Borran and
               Martin Hutle and
               Zarko Milosevic and
               Andr{\'e} Schiper},
  title     = {Structured Derivation of Semi-Synchronous Algorithms},
  booktitle = {DISC},
  year      = {2011},
  pages     = {374-388}
}

@inproceedings{BCBG+07:podc,
  author =	 {Martin Biely and Bernadette Charron-Bost and Antoine
                  Gaillard and Martin Hutle and Andr{\'e} Schiper and
                  Josef Widder},
  title =	 {Tolerating Corrupted Communication},
  publisher =	 ACM,
  booktitle =	 PODC07,
  year =	 {2007}
}

@InProceedings{BCBT96:wdag,
  author =	 {Anindya Basu and Bernadette Charron-Bost and Sam
                  Toueg},
  title =	 {Simulating Reliable Links with Unreliable Links in
                  the Presence of Process Crashes},
  pages =	 {105--122},
  booktitle =	 {WDAG 1996},
  editor =	 {Babao{\u g}lu, {\"O}zalp},
  year =	 {1996},
  month =	 {Oct},
  volume =	 {1151},
  ISBN =	 {3-540-61769-8},
  pubisher =	 {Springer},
  series =	 {Lecture Notes in Computer Science},
}

@article{BDFG03:sigact,
  author =	 "R. Boichat and P. Dutta and S. Frolund and
                  R. Guerraoui",
  title =	 "Reconstructing {P}axos",
  journal =	 "ACM SIGACT News",
  year =	 "2003",
  volume =	 "34",
  number =	 "1",
  pages =	 "47-67"
}

@unpublished{BHR+06:note,
  author =	 "Martin Biely and Martin Hutle and Sergio Rajsbaum
                  and Ulrich Schmid and Corentin Travers and Josef
                  Widder",
  title =	 "Discussion note on moving timely links",
  note =	 "Unpublished",
  month =	 apr,
  year =	 2006
}

@article{BHRT03:jda,
  author =	 {Roberto Baldoni and Jean-Michel H{\'e}lary and
                  Michel Raynal and L{\'e}naick Tanguy},
  title =	 {Consensus in Byzantine asynchronous systems.},
  journal =	 {J. Discrete Algorithms},
  volume =	 {1},
  number =	 {2},
  year =	 {2003},
  pages =	 {185-210},
  ee =		 {http://dx.doi.org/10.1016/S1570-8667(03)00025-X},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@unpublished{BHSS08:tdsc,
  author =	 {Fatemeh Borran and Martin Hutle and Nuno Santos and
                  Andr{\'e} Schiper},
  title =	 {Solving Consensus with Communication Predicates:
                  A~Quantitative Approach},
  note =	 {Under submission},
  year =	 {2008}
}

@inproceedings{Ben83:podc,
  author =	 {Michael Ben-Or},
  title =	 {Another Advantage of Free Choice: Completely
                  Asynchronous Agreement Protocols},
  booktitle = {PODC},
  year =	 {1983},
}

@inproceedings{Bra04:podc,
 author = {Bracha, Gabriel},
 title = {An asynchronous [(n - 1)/3]-resilient consensus protocol},
 booktitle = {PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing},
 year = {1984},
 isbn = {0-89791-143-1},
 pages = {154--162},
 location = {Vancouver, British Columbia, Canada},
 doi = {http://doi.acm.org/10.1145/800222.806743},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@inproceedings{CBGS00:dsn,
  author =	 "Bernadette Charron-Bost and Rachid Guerraoui and
                  Andr{\'{e}} Schiper",
  title =	 "Synchronous System and Perfect Failure Detector:
                  {S}olvability and efficiency issues",
  booktitle =	 DSN00,
  publisher =	 "{IEEE} Computer Society",
  address =	 "New York, {USA}",
  pages =	 "523--532",
  year =	 "2000"
}

@inproceedings{CBS06:prdc,
  author =	 {Bernadette Charron-Bost and Andr{\'e} Schiper},
  title =	 {Improving Fast Paxos: being optimistic with no
                  overhead},
  booktitle =	 {Pacific Rim Dependable Computing, Proceedings},
  year =	 {2006}
}

@article{CBS09,
  author = {B. Charron-Bost and A. Schiper},
  title = {The {H}eard-{O}f model: computing in distributed systems with benign failures},
  journal ={Distributed Computing},
  number = {1},
  volume = {22},
  pages = {49-71},
  year ={2009}
  }


@article{CBS07:sigact,
  author =	 {Bernadette Charron-Bost and Andr\'{e} Schiper},
  title =	 {Harmful dogmas in fault tolerant distributed
                  computing},
  journal =	 {SIGACT News},
  volume =	 {38},
  number =	 {1},
  year =	 {2007},
  pages =	 {53--61},
}

@techreport{CBS07:tr,
  author =	 {Charron-Bost, Bernadette and Schiper, Andr{\'{e}}},
  title =	 {The Heard-Of Model: Unifying all Benign Failures},
  institution =	 {EPFL},
  year =	 2007,
  OPTnumber =	 {LSR-REPORT-2006-004}
}

@article{CELT00:jacm,
  author =	 {Soma Chaudhuri and Maurice Erlihy and Nancy A. Lynch
                  and Mark R. Tuttle},
  title =	 {Tight bounds for k-set agreement},
  journal =	 JACM,
  volume =	 {47},
  number =	 {5},
  year =	 {2000},
  pages =	 {912--943},
  publisher =	 ACM,
  address =	 {New York, NY, USA},
}

@article{CF99:tpds,
  author =	 "Flaviu Cristian and Christof Fetzer",
  title =	 "The Timed Asynchronous Distributed System Model",
  journal =	 "IEEE Transactions on Parallel and Distributed
                  Systems",
  volume =	 "10",
  number =	 "6",
  pages =	 "642--657",
  year =	 "1999"
}

@article{CHT96:jacm,
  author =	 "Tushar Deepak Chandra and Vassos Hadzilacos and Sam
                  Toueg",
  title =	 "The Weakest Failure Detector for Solving Consensus",
  journal =	 {JACM},
  year =	 {1996},
}

@article{CL02:tcs,
  author =	 {Miguel Castro and Barbara Liskov},
  title =	 {Practical byzantine fault tolerance and proactive
                  recovery},
  journal =	 {ACMTCS},
  year =	 {2002},
}

@inproceedings{CL99:osdi,
  author =	 {Miguel Castro and Barbara Liskov},
  title =	 {Practical byzantine fault tolerance and proactive
                  recovery},
  booktitle =	 {Proceedings of the 3rd Symposium on Operating
                  Systems Design and Implementation},
  year =	 {1999},
  month =	 feb
}

@inproceedings{CT91:podc,
  author =	 {Tushar Deepak Chandra and Sam Toueg},
  title =	 {Unreliable Failure Detectors for Asynchronous
                  Systems (Preliminary Version)},
  booktitle =	 PODC91,
  year =	 {1991},
  pages =	 {325-340}
}

@article{CT96:jacm1,
  author =	 "Tushar Deepak Chandra and Sam Toueg",
  title =	 "Unreliable Failure Detectors for Reliable
                  Distributed Systems",
  journal =	 {JACM},
  year =	 {1996},
}

@inproceedings{CTA00:dsn,
  author =	 "Wei Chen and Sam Toueg and Marcos Kawazoe Aguilera",
  title =	 "On the Quality of Service of Failure Detectors",
  booktitle =	 "Proceedings IEEE International Conference on
                  Dependable Systems and Networks (DSN / FTCS'30)",
  address =	 "New York City, USA",
  year =	 2000
}

@TechReport{DFKM96:tr,
  author =	 {Danny Dolev and Roy Friedman and Idit Keidar and
                  Dahlia Malkhi},
  title =	 {Failure detectors in omission failure environments},
  institution =	 {Department of Computer Science, Cornell University},
  year =	 {1996},
  type =	 {Technical Report},
  number =	 {96-1608}
}

@inproceedings{DG02:podc,
  author =	 {Partha Dutta and Rachid Guerraoui},
  title =	 {The inherent price of indulgence},
  booktitle =	 PODC02,
  year =	 2002,
  pages =	 {88--97},
  location =	 {Monterey, California},
  publisher =	 ACM,
  address =	 {New York, NY, USA},
}

@inproceedings{DGFG+04:podc,
  author =	 {Carole Delporte-Gallet and Hugues Fauconnier and
                  Rachid Guerraoui and Vassos Hadzilacos and Petr
                  Kouznetsov and Sam Toueg},
  title =	 {The weakest failure detectors to solve certain
                  fundamental problems in distributed computing},
  booktitle =	 PODC04,
  year =	 2004,
  pages =	 {338--346},
  location =	 {St. John's, Newfoundland, Canada},
  publisher =	 ACM,
  address =	 {New York, NY, USA}
}

@inproceedings{DGL05:dsn,
  author =	 {Partha Dutta and Rachid Guerraoui and Leslie
                  Lamport},
  title =	 {How Fast Can Eventual Synchrony Lead to Consensus?},
  booktitle =	 {Proceedings of the 2005 International Conference on
                  Dependable Systems and Networks (DSN'05)},
  pages =	 {22--27},
  year =	 {2005},
  address =	 {Los Alamitos, CA, USA}
}

@article{DLS88:jacm,
  author =	 "Cynthia Dwork and Nancy Lynch and Larry Stockmeyer",
  title =	 "Consensus in the Presence of Partial Synchrony",
  journal =	 {JACM},
  year =	 {1988},
}

@article{DPLL00:tcs,
  author =	 "De Prisco, Roberto and Butler Lampson and Nancy
                  Lynch",
  title =	 "Revisiting the {PAXOS} algorithm",
  journal =	 TCS,
  volume =	 "243",
  number =	 "1--2",
  pages =	 "35--91",
  year =	 "2000"
}

@techreport{DS97:tr,
  author =	 {A. Doudou and A. Schiper},
  title =	 {Muteness Failure Detectors for Consensus with
                  {B}yzantine Processes},
  institution =	 {EPFL, Dept d'Informatique},
  year =	 {1997},
  type =	 {TR},
  month =	 {October},
  number =	 {97/230},
}

@inproceedings{DS98:podc,
  author =	 {A. Doudou and A. Schiper},
  title =	 {Muteness Detectors for Consensus with {B}yzantine
                  Processes ({B}rief {A}nnouncement)},
  booktitle =	 {PODC},
  month =	 jul,
  year =	 {1998}
}

@article{DSU04:survey,
 author = {D{\'e}fago, Xavier and Schiper, Andr{\'e} and Urb\'{a}n, P{\'e}ter},
 title = {Total order broadcast and multicast algorithms: Taxonomy and survey},
 journal = {ACM Comput. Surv.},
 issue_date = {December 2004},
 volume = {36},
 number = {4},
 month = dec,
 year = {2004},
 issn = {0360-0300},
 pages = {372--421},
 numpages = {50},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Distributed systems, agreement problems, atomic broadcast, atomic multicast, classification, distributed algorithms, fault-tolerance, global ordering, group communication, message passing, survey, taxonomy, total ordering},
}

@article{DeCandia07:dynamo,
 author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner},
 title = {Dynamo: amazon's highly available key-value store},
 journal = {SIGOPS Oper. Syst. Rev.},
 issue_date = {December 2007},
 volume = {41},
 number = {6},
 month = oct,
 year = {2007},
 issn = {0163-5980},
 pages = {205--220},
 numpages = {16},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {performance, reliability, scalability},
}


@book{Dol00:book,
  author =	 {Shlomi Dolev},
  title =	 {Self-Stabilization},
  publisher =	 {The MIT Press},
  year =	 {2000}
}

@inproceedings{FC95:podc,
  author =	 "Christof Fetzer and Flaviu Cristian",
  title =	 "Lower Bounds for Convergence Function Based Clock
                  Synchronization",
  booktitle =	 PODC95,
  year =	 1995,
  pages =	 "137--143"
}

@article{FLP85:jacm,
  author =	 "Michael J. Fischer and Nancy A. Lynch and
                  M. S. Paterson",
  title =	 "Impossibility of Distributed Consensus with one
                  Faulty Process",
  journal =	 {JACM},
  year =	 {1985},
}

@article{FMR05:tdsc,
  author =	 {Roy Friedman and Achour Most{\'e}faoui and Michel
                  Raynal},
  title =	 {Simple and Efficient Oracle-Based Consensus
                  Protocols for Asynchronous Byzantine Systems.},
  journal =	 TDSC,
  volume =	 {2},
  number =	 {1},
  year =	 {2005},
  pages =	 {46-56},
  ee =		 {http://dx.doi.org/10.1109/TDSC.2005.13},
  bibsource =	 {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{FS04:podc,
  author =	 "Christof Fetzer and Ulrich Schmid",
  title =	 "Brief announcement: on the possibility of consensus
                  in asynchronous systems with finite average response
                  times.",
  booktitle =	 PODC04,
  year =	 2004,
  pages =	 402
}

@InProceedings{GL00:disc,
  author =	 {Eli Gafni and Lesli Lamport},
  title =	 {Disk Paxos},
  booktitle =	 DISC00,
  pages =	 {330--344},
  year =	 {2000},
}

@Article{GL03:dc,
  author =	 {Eli Gafni and Lesli Lamport},
  title =	 {Disk Paxos},
  journal =	 DC,
  year =	 2003,
  volume =	 {16},
  number =	 {1},
  pages =	 {1--20}
}

@inproceedings{GP01:wss,
  author =	 "Felix C. G{\"a}rtner and Stefan Pleisch",
  title =	 "({I}m)Possibilities of Predicate Detection in
                  Crash-Affected Systems",
  booktitle =	 WSS01,
  year =	 2001,
  pages =	 "98--113"
}

@inproceedings{GP02:disc,
  author =	 "Felix C. G{\"a}rtner and Stefan Pleisch",
  title =	 "Failure Detection Sequencers: Necessary and
                  Sufficient Information about Failures to Solve
                  Predicate Detection",
  booktitle =	 DISC02,
  year =	 2002,
  pages =	 "280--294"
}

@inproceedings{GS96:wdag,
  author =	 {Rachid Guerraoui and Andr{\'e} Schiper},
  title =	 {{``Gamma-Accurate''} Failure Detectors},
  booktitle =	 WDAG96,
  year =	 {1996},
  pages =	 {269--286},
  publisher =	 SPR,
  address =	 {London, UK}
}

@inproceedings{Gaf98:podc,
  author =	 {Eli Gafni},
  title =	 {Round-by-round fault detectors (extended abstract):
                  unifying synchrony and asynchrony},
  booktitle =	 PODC98,
  year =	 {1998},
  pages =	 {143--152},
  address =	 {Puerto Vallarta, Mexico},
  publisher =	 ACM
}

@incollection{Gra78:book,
  author =	 {Jim N. Gray},
  title =	 {Notes on data base operating systems},
  booktitle =	 {Operating Systems: An Advanced Course},
  chapter =	 {3.F},
  publisher =	 {Springer},
  year =	 {1978},
  editor =	 {R. Bayer, R.M. Graham, G. Seegm\"uller},
  volume =	 {60},
  series =	 {Lecture Notes in Computer Science},
  address =	 {New York},
  pages =	 {465},
}

@InProceedings{HMR98:srds,
  author =	 {Hurfin, M. and Mostefaoui, A. and Raynal, M.},
  title =	 {Consensus in asynchronous systems where processes
                  can crash and recover},
  booktitle =	 {Seventeenth IEEE Symposium on Reliable Distributed
                  Systems, Proceedings. },
  pages =	 { 280--286},
  year =	 {1998},
  address =	 {West Lafayette, IN},
  month =	 oct,
  organization = {IEEE}
}

@inproceedings{HMSZ06:sss,
  author =	 "Martin Hutle and Dahlia Malkhi and Ulrich Schmid and
                  Lidong Zhou",
  title =	 "Brief Announcement: Chasing the Weakest System Model
                  for Implementing {$\Omega$} and Consensus",
  booktitle =	 SSS06,
  year =	 2006
}

@incollection{HT93:ds,
 author = {Hadzilacos, Vassos and Toueg, Sam},
 title = {Fault-tolerant broadcasts and related problems},
 booktitle = {Distributed systems (2nd Ed.)},
 editor = {Mullender, Sape},
 year = {1993},
 isbn = {0-201-62427-3},
 pages = {97--145},
 numpages = {49}
}


@inproceedings{HS06:opodis,
  author =	 {Heinrich Moser and Ulrich Schmid},
  title =	 {Optimal Clock Synchronization Revisited: Upper and
                  Lower Bounds in Real-Time Systems},
  booktitle =	 { Principles of Distributed Systems},
  pages =	 {94--109},
  year =	 {2006},
  volume =	 {4305},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 SPR
}

@techreport{HS06:tr,
  author =	 {Martin Hutle and Andr{\'e} Schiper},
  title =	 { Communication predicates: A high-level abstraction
                  for coping with transient and dynamic faults},
  institution =	 {EPFL},
  number =	 { LSR-REPORT-2006-006 },
  year =	 {2006}
}

@inproceedings{HS07:dsn,
  author =	 {Martin Hutle and Andr{\'e} Schiper},
  title =	 { Communication predicates: A high-level abstraction
                  for coping with transient and dynamic faults},
  year =	 2007,
  booktitle =	 DSN07,
  publisher =	 IEEE,
  location =	 {Edinburgh,UK},
  pages =	 {92--10},
  month =	 jun
}

@article{Her91:tpls,
  author =	 {Maurice Herlihy},
  title =	 {Wait-free synchronization},
  journal =	 TPLS,
  volume =	 {13},
  number =	 {1},
  year =	 {1991},
  pages =	 {124--149},
  publisher =	 ACM,
  address =	 {New York, NY, USA},
}

@article{Kot09:zyzzyva,
 author = {Kotla, Ramakrishna and Alvisi, Lorenzo and Dahlin, Mike and Clement, Allen and Wong, Edmund},
 title = {Zyzzyva: Speculative Byzantine fault tolerance},
 journal = {ACM Trans. Comput. Syst.},
 issue_date = {December 2009},
 volume = {27},
 number = {4},
 month = jan,
 year = {2010},
 issn = {0734-2071},
 pages = {7:1--7:39},
 articleno = {7},
 numpages = {39},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Byzantine fault tolerance, output commit, replication, speculative execution},
}


@inproceedings{KMMS97:opodis,
  author =	 "Kim Potter Kihlstrom and Louise E. Moser and
                  P. M. Melliar-Smith",
  title =	 "Solving Consensus in a Byzantine Environment Using
                  an Unreliable Fault Detector",
  booktitle =	 "Proceedings of the International Conference on
                  Principles of Distributed Systems (OPODIS)",
  year =	 1997,
  month =	 dec,
  address =	 "Chantilly, France",
  pages =	 "61--75"
}

@inproceedings{KS06:podc,
  author =	 {Idit Keidar and Alexander Shraer},
  title =	 {Timeliness, failure-detectors, and consensus
                  performance},
  booktitle =	 PODC06,
  year =	 {2006},
  pages =	 {169--178},
  location =	 {Denver, Colorado, USA},
  publisher =	 {ACM Press},
  address =	 {New York, NY, USA},
}

@InProceedings{LFA99:disc,
  author =	 {Mikel Larrea and Antonio Fern\'andez and Sergio
                  Ar\'evalo},
  title =	 {Efficient algorithms to implement unreliable failure
                  detectors in partially synchronous systems},
  year =	 1999,
  month =	 sep,
  pages =	 {34-48},
  series =	 "LNCS 1693",
  booktitle =	 DISC99,
  publisher =	 SPR,
  address =	 {Bratislava, Slovaquia},
}

@article{LL84:ic,
  author =	 "Jennifer Lundelius and Nancy A. Lynch",
  title =	 "An Upper and Lower Bound for Clock Synchronization",
  journal =	 IC,
  volume =	 62,
  number =	 {2/3},
  year =	 1984,
  pages =	 {190--204}
}

@techreport{LLS03:tr,
  title =	 {How to Implement a Timer-free Perfect Failure
                  Detector in Partially Synchronous Systems},
  author =	 {Le Lann, G\'erard and Schmid, Ulrich},
  institution =	 TUAuto,
  number =	 "183/1-127",
  month =	 jan,
  year =	 2003
}

@article{LSP82:tpls,
  author =	 {Leslie Lamport and Robert Shostak and Marshall
                  Pease},
  title =	 {The {B}yzantine Generals Problem},
  journal =	 {ACM Trans. Program. Lang. Syst.},
  year =	 {1982},
}

@inproceedings{Lam01:podc,
  author =	 {Butler Lampson},
  title =	 {The ABCD's of Paxos},
  booktitle =	 {PODC},
  year =	 {2001},

}

@inproceedings{Lam03:fddc,
  author =	 {Leslie Lamport},
  title =	 {Lower Bounds for Asynchronous Consensus},
  booktitle =	 {Future Directions in Distributed Computing},
  pages =	 {22--23},
  year =	 {2003},
  editor =	 {Andr{\'e} Schiper and Alex A. Shvartsman and Hakim
                  Weatherspoon and Ben Y. Zhao},
  number =	 {2584},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 SPR
}

@techreport{Lam04:tr,
  author =	 {Leslie Lamport},
  title =	 {Lower Bounds for Asynchronous Consensus},
  institution =	 {Microsoft Research},
  year =	 {2004},
  number =	 {MSR-TR-2004-72}
}

@techreport{Lam05:tr,
  author =	 {Leslie Lamport},
  title =	 {Fast Paxos},
  institution =	 {Microsoft Research},
  year =	 {2005},
  number =	 {MSR-TR-2005-12}
}

@techreport{Lam05:tr-33,
  author =	 {Leslie Lamport},
  title =	 {Generalized Consensus and Paxos},
  institution =	 {Microsoft Research},
  year =	 {2005},
  number =	 {MSR-TR-2005-33}
}

@Misc{Lam06:slides,
  author =	 {Leslie Lamport},
  title =	 {Byzantine Paxos},
  howpublished = {Unpublished slides},
  year =	 {2006}
}

@Article{Lam86:dc,
  author =	 {Lesli Lamport},
  title =	 {On Interprocess Communication--Part I: Basic
                  Formalism, Part II: Algorithms},
  journal =	 DC,
  year =	 1986,
  volume =	 1,
  number =	 2,
  pages =	 {77--101}
}

@Article {Lam98:tcs,
  author =	 {Leslie Lamport},
  title =	 {The part-time parliament},
  journal =	 ACMTCS,
  year =	 1998,
  volume =	 16,
  number =	 2,
  month =	 may,
  pages =	 {133-169},
}

@book{Lyn96:book,
  author =	 {Nancy Lynch},
  title =	 {Distributed Algorithms},
  publisher =	 {Morgan Kaufman},
  year =	 {1996},
}

@inproceedings{MA05:dsn,
  author =	 {Martin, J.-P. and Alvisi, L. },
  title =	 {Fast Byzantine consensus},
  booktitle =	 DSN05,
  pages =	 {402--411},
  year =	 {2005},
  month =	 jun,
  organization = {IEEE},
}

@article{MA06:tdsc,
  author =	 {Martin, J.-P. and Alvisi, L. },
  title =	 {Fast {B}yzantine Consensus},
  journal =	 {TDSC},
  year =	 {2006},
}

@InProceedings{MOZ05:dsn,
  author =	 {Dahlia Malkhi and Florin Oprea and Lidong Zhou},
  title =	 {{$\Omega$} Meets Paxos: Leader Election and
                  Stability without Eventual Timely Links},
  booktitle =	 DSN05,
  year =	 {2005}
}

@inproceedings{MR00:podc,
  author =	 "Achour Most{\'e}faoui and Michel Raynal",
  title =	 "k-set agreement with limited accuracy failure
                  detectors",
  booktitle =	 PODC00,
  year =	 2000,
  pages =	 {143--152},
  location =	 {Portland, Oregon, United States},
  publisher =	 ACM
}

@article{MR01:ppl,
  author =	 "Achour Most{\'e}faoui and Michel Raynal",
  title =	 "Leader-Based Consensus",
  journal =	 PPL,
  volume =	 11,
  number =	 1,
  year =	 2001,
  pages =	 {95--107}
}

@techreport{OGS97:tr,
  author =	 "Rui Oliveira and Rachid Guerraoui and {Andr\'e}
                  Schiper",
  title =	 "Consensus in the crash-recover model",
  number =	 "TR-97/239",
  year =	 "1997"
}

@article{PSL80:jacm,
  author =	 {M. Pease and R. Shostak and L. Lamport},
  title =	 {Reaching Agreement in the Presence of Faults},
  journal =	 JACM,
  volume =	 {27},
  number =	 {2},
  year =	 {1980},
  pages =	 {228--234},
  publisher =	 ACM,
  address =	 ACMADDR,
}

@article{ST87:jacm,
  author =	 "T. K. Srikanth and Sam Toueg",
  title =	 "Optimal clock synchronization",
  journal =	 JACM,
  volume =	 34,
  number =	 3,
  year =	 1987,
  pages =	 "626--645"
}

@article{ST87:dc,
  author =	 {T. K. Srikanth and Sam Toueg,},
  title =	 {Simulating authenticated broadcasts to derive simple fault-tolerant algorithms},
  journal =	 DC,
  volume =	 {2},
  number =	 {2},
  year =	 {1987},
  pages =	 {80-94}
}


@inproceedings{SW89:stacs,
  author =	 {Santoro, Nicola and Widmayer, Peter},
  title =	 {Time is not a healer},
  booktitle =	 {Proc.\ 6th Annual Symposium on Theor.\ Aspects of
                  Computer Science (STACS'89)},
  publisher =	 "Springer-Verlag",
  series =	 {LNCS},
  volume =	 "349",
  address =	 "Paderborn, Germany",
  pages =	 "304-313",
  year =	 "1989",
  month =	 feb,
}

@inproceedings{SW90:sigal,
  author =	 {Nicola Santoro and Peter Widmayer},
  title =	 {Distributed Function Evaluation in the Presence of
                  Transmission Faults.},
  booktitle =	 {SIGAL International Symposium on Algorithms},
  year =	 {1990},
  pages =	 {358-367}
}

@inproceedings{SWR02:icdcs,
  author =	 {Ulrich Schmid and Bettina Weiss and John Rushby},
  title =	 {Formally Verified Byzantine Agreement in Presence of
                  Link Faults},
  booktitle =	 "22nd International Conference on Distributed
                  Computing Systems (ICDCS'02)",
  year =	 2002,
  month =	 jul # " 2-5, ",
  pages =	 "608--616",
  address =	 "Vienna, Austria",
}

@incollection{Sch93a:mullender,
  Author =	 {F. B. Schneider},
  Title =	 {What Good are Models and What Models are Good},
  BookTitle =	 {Distributed Systems},
  Year =	 {1993},
  Editor =	 {Sape Mullender},
  Publisher =	 {ACM Press},
  Pages =	 {169-197},
}

@article{VL96:ic,
  author =	 {George Varghese and Nancy A. Lynch},
  title =	 {A Tradeoff Between Safety and Liveness for
                  Randomized Coordinated Attack.},
  journal =	 {Inf. Comput.},
  volume =	 {128},
  number =	 {1},
  year =	 1996,
  pages =	 {57--71}
}

@inproceedings{WGWB07:dsn,
  title =	 {Synchronous Consensus with Mortal Byzantines},
  author =	 {Josef Widder and Günther Gridling and Bettina Weiss
                  and Jean-Paul Blanquart},
  year =	 {2007},
  booktitle =	 DSN07,
  publisher =	 IEEE
}

@inproceedings{Wid03:disc,
  author =	 {Josef Widder},
  title =	 {Booting clock Synchronization in Partially
                  Synchronous Systems},
  booktitle =	 DISC03,
  year =	 {2003},
  pages =	 {121--135}
}

@techreport{Zie04:tr,
  author =	 {Piotr Zieli{\'n}ski},
  title =	 {Paxos at War},
  institution =	 {University of Cambridge},
  year =	 {2004},
  number =	 {UCAM-CL-TR-593},
}

@article{Lam78:cacm,
  author =	 {Leslie Lamport},
  title =	 {Time, clocks, and the ordering of events in a
                  distributed system},
  journal =	 {Commun. ACM},
  year =	 {1978},
}

@Article{Gue06:cj,
   author      = {Guerraoui, R. and Raynal, M.},
   journal     = {The {C}omputer {J}ournal},
   title       = {The {A}lpha of {I}ndulgent {C}onsensus},
   year        = {2006}
}

@Article{Gue03:toc,
   affiliation = {EPFL},
   author      = {Guerraoui, Rachid and Raynal, Michel},
   journal     = {{IEEE} {T}rans. on {C}omputers},
   title       = {The {I}nformation {S}tructure of {I}ndulgent {C}onsensus},
   year        = {2004},
}

@techreport{Cas00,
  author =	 {Castro, Miguel},
  title =	 {Practical {B}yzantine Fault-Tolerance. {PhD} thesis},
  institution =	 {MIT},
  year =	 2000,
}

@inproceedings{SongRSD08:icdcn,
  author    = {Yee Jiun Song and
               Robbert van Renesse and
               Fred B. Schneider and
               Danny Dolev},
  title     = {The Building Blocks of Consensus},
  booktitle = {ICDCN},
  year      = {2008},
}


@inproceedings{BS09:icdcn,
   author      = {Borran, Fatemeh and Schiper, Andr{\'e}},

   title       = {A {L}eader-free {B}yzantine {C}onsensus {A}lgorithm},
   note        = {To appear in ICDCN, 2010},
}


@inproceedings{MHS09:opodis,
  author =	 {Zarko Milosevic and Martin Hutle and Andr{\'e}
                  Schiper},
  title =	 {Unifying {B}yzantine Consensus Algorithms with {W}eak
                  {I}nteractive {C}onsistency},
  note = {To appear in OPODIS 2009},
}

@inproceedings{MRR:dsn02,
 author = {Most\'{e}faoui, Achour and Rajsbaum, Sergio and Raynal, Michel},
 title = {A Versatile and Modular Consensus Protocol},
 booktitle = {DSN},
 year = {2002},
 }

@article{MR98:dc,
  author    = {Dahlia Malkhi and
               Michael K. Reiter},
  title     = {Byzantine Quorum Systems},
  journal   = {Distributed Computing},
  year      = {1998},
}

@inproceedings{Rei:ccs94,
 author = {Reiter, Michael K.},
 title = {Secure agreement protocols: reliable and atomic group multicast in rampart},
 booktitle = {CCS},
 year = {1994},
 pages = {68--80},
 numpages = {13}
}


@techreport{RMS09-tr,
  author =	 {Olivier R\"utti and Zarko Milosevic and Andr\'e Schiper},
  title =	 {{G}eneric construction of consensus algorithm for benign and {B}yzantine faults},
  institution =	{EPFL-IC},
  number = {LSR-REPORT-2009-005},
  year =	 2009,
}

@inproceedings{Li:srds07,
 author = {Li, Harry C. and Clement, Allen and Aiyer, Amitanand S. and Alvisi, Lorenzo},
 title = {The Paxos Register},
 booktitle = {SRDS},
 year = {2007},
 }

 @article{Amir11:prime,
 author = {Amir, Yair and Coan, Brian and Kirsch, Jonathan and Lane, John},
 title = {Prime: Byzantine Replication under Attack},
 journal = {IEEE Trans. Dependable Secur. Comput.},
 issue_date = {July 2011},
 volume = {8},
 number = {4},
 month = jul,
 year = {2011},
 issn = {1545-5971},
 pages = {564--577},
 numpages = {14},
 publisher = {IEEE Computer Society Press},
 address = {Los Alamitos, CA, USA},
 keywords = {Performance under attack, Byzantine fault tolerance, replicated state machines, distributed systems.},
}

@inproceedings{Mao08:mencius,
 author = {Mao, Yanhua and Junqueira, Flavio P. and Marzullo, Keith},
 title = {Mencius: building efficient replicated state machines for WANs},
 booktitle = {OSDI},
 year = {2008},
 pages = {369--384},
 numpages = {16}
}

@article{Sch90:survey,
 author = {Schneider, Fred B.},
 title = {Implementing fault-tolerant services using the state machine approach: a tutorial},
 journal = {ACM Comput. Surv.},
 volume = {22},
 number = {4},
 month = dec,
 year = {1990}
}


@techreport{HT94:TR,
 author = {Hadzilacos, Vassos and Toueg, Sam},
 title = {A Modular Approach to Fault-Tolerant Broadcasts and Related Problems},
 year = {1994},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Acornellcs%3ACORNELLCS%3ATR94-1425},
 publisher = {Cornell University},
 address = {Ithaca, NY, USA},
}

@inproceedings{Ver09:spinning,
 author = {Veronese, Giuliana Santos and Correia, Miguel and Bessani, Alysson Neves and Lung, Lau Cheuk},
 title = {Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary},
 booktitle = {SRDS},
 year = {2009},
 numpages = {10}
}

@inproceedings{Cle09:aardvark,
 author = {Clement, Allen and Wong, Edmund and Alvisi, Lorenzo and Dahlin, Mike and Marchetti, Mirco},
 title = {Making Byzantine fault tolerant systems tolerate Byzantine faults},
 booktitle = {NSDI},
 year = {2009},
 pages = {153--168},
 numpages = {16}
}

@inproceedings{Aiyer05:barB,
 author = {Aiyer, Amitanand S. and Alvisi, Lorenzo and Clement, Allen and Dahlin, Mike and Martin, Jean-Philippe and Porth, Carl},
 title = {BAR fault tolerance for cooperative services},
 booktitle = {SOSP},
 year = {2005},
 pages = {45--58},
 numpages = {14}
}

@inproceedings{Cach01:crypto,
 author = {Cachin, Christian and Kursawe, Klaus and Petzold, Frank and Shoup, Victor},
 title = {Secure and Efficient Asynchronous Broadcast Protocols},
 booktitle = {CRYPTO},
 year = {2001},
 pages = {524--541},
 numpages = {18}
}

@article{Moniz11:ritas,
 author = {Moniz, Henrique and Neves, Nuno Ferreria and Correia, Miguel and Verissimo, Paulo},
 title = {RITAS: Services for Randomized Intrusion Tolerance},
 journal = {IEEE Trans. Dependable Secur. Comput.},
 volume = {8},
 number = {1},
 month = jan,
 year = {2011},
 pages = {122--136},
 numpages = {15}
}

@inproceedings{MHS11:jabc,
 author = {Milosevic, Zarko and Hutle, Martin and Schiper, Andre},
 title = {On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults},
 booktitle = {SRDS},
 year = {2011},
 pages = {235--244},
 numpages = {10}
}

@incollection{DHSZ03,
 author={Driscoll, Kevin and Hall, Brendan and Sivencrona, Håkan and Zumsteg, Phil},
 title={Byzantine Fault Tolerance, from Theory to Reality},
 year={2003},
 booktitle={Computer Safety, Reliability, and Security},
 volume={2788},
 pages={235--248}
}

@inproceedings{RMES:dsn07,
  author    = {Olivier R{\"u}tti and
               Sergio Mena and
               Richard Ekwall and
               Andr{\'e} Schiper},
  title     = {On the Cost of Modularity in Atomic Broadcast},
  booktitle = {DSN},
  year      = {2007},
  pages     = {635-644}
}

@article{Ben:jc92,
  author    = {Charles H. Bennett and
               Fran\c{c}ois Bessette and
               Gilles Brassard and
               Louis Salvail and
               John A. Smolin},
  title     = {Experimental Quantum Cryptography},
  journal   = {J. Cryptology},
  volume    = {5},
  number    = {1},
  year      = {1992},
  pages     = {3-28}
}

@inproceedings{Aiyer:disc08,
 author = {Aiyer, Amitanand S. and Alvisi, Lorenzo and Bazzi, Rida A. and Clement, Allen},
 title = {Matrix Signatures: From MACs to Digital Signatures in Distributed Systems},
 booktitle = {DISC},
 year = {2008},
 pages = {16--31},
 numpages = {16}
}

@inproceedings{Biel13:dsn,
   author      = {Biely, Martin and Delgado, Pamela and Milosevic, Zarko and Schiper, Andr{\'e}},
   title       = {Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms},
   note        = {To appear in DSN, 2013},
   year        = 2013
}

@inproceedings{BS10:icdcn,
 author = {Borran, Fatemeh and Schiper, Andr{\'e}},
 title = {A leader-free Byzantine consensus algorithm},
 booktitle = {ICDCN},
 year = {2010},
 pages = {67--78},
 numpages = {12}
}

@article{Cor06:cj,
 author = {Correia, Miguel and Neves, Nuno Ferreira and Ver\'{\i}ssimo, Paulo},
 title = {From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures},
 journal = {Comput. J.},
 volume = {49},
 number = {1},
 year = {2006},
 pages = {82--96},
 numpages = {15}
}

@inproceedings{RMS10:dsn,
  author    = {Olivier R{\"u}tti and
               Zarko Milosevic and
               Andr{\'e} Schiper},
  title     = {Generic construction of consensus algorithms for benign
               and Byzantine faults},
  booktitle = {DSN},
  year      = {2010},
  pages     = {343-352}
}



@inproceedings{HKJR:usenix10,
 author = {Hunt, Patrick and Konar, Mahadev and Junqueira, Flavio P. and Reed, Benjamin},
 title = {ZooKeeper: wait-free coordination for internet-scale systems},
 OPTbooktitle = {Proceedings of the 2010 USENIX conference on USENIX annual technical conference},
 booktitle = {USENIXATC},
 year = {2010},
 OPTlocation = {Boston, MA},
 pages = {11},
 numpages = {1},
 OPTurl = {http://dl.acm.org/citation.cfm?id=1855840.1855851},
 acmid = {1855851},
 OPTpublisher = {USENIX Association},
 OPTaddress = {Berkeley, CA, USA},
}

@inproceedings{Bur:osdi06,
 author = {Burrows, Mike},
 title = {The Chubby lock service for loosely-coupled distributed systems},
 booktitle = {OSDI},
 year = {2006},
 pages = {335--350},
 numpages = {16},
}

@INPROCEEDINGS{Mao09:hotdep,
    author = {Yanhua Mao and Flavio P. Junqueira and Keith Marzullo},
    title = {Towards low latency state machine replication for uncivil wide-area networks},
    booktitle = {HotDep},
    year = {2009}
}

@inproceedings{Chun07:a2m,
 author = {Chun, Byung-Gon and Maniatis, Petros and Shenker, Scott and Kubiatowicz, John},
 title = {Attested append-only memory: making adversaries stick to their word},
 booktitle = {SOSP},
 year = {2007},
 pages = {189--204},
 numpages = {16}
}

@TECHREPORT{MBS:epfltr,
    author = {Zarko Milosevic and Martin Biely and Andr\'e Schiper},
    title = {Bounded {D}elay in {B}yzantine {T}olerant {S}tate {M}achine {R}eplication},
		year = 2013,
		month = april,
    institution = {EPFL},		
		number =	 {185962},
}

@book{BH09:datacenter,
 author = {Barroso, Luiz Andre and Hoelzle, Urs},
 title = {The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines},
 year = {2009},
 isbn = {159829556X, 9781598295566},
 edition = {1st},
 publisher = {Morgan and Claypool Publishers},
}

@inproceedings{Kir11:csiirw,
 author = {Kirsch, Jonathan and Goose, Stuart and Amir, Yair and Skare, Paul},
 title = {Toward survivable SCADA},
 booktitle = {CSIIRW},
 year = {2011},
 pages = {21:1--21:1},
 articleno = {21},
 numpages = {1}
}

@inproceedings{Ongaro14:raft,
	author = {Ongaro, Diego and Ousterhout, John},
	title = {In Search of an Understandable Consensus Algorithm},
	booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference},
	series = {USENIX ATC'14},
	year = {2014},
	isbn = {978-1-931971-10-2},
	location = {Philadelphia, PA},
	pages = {305--320},
	numpages = {16},
	url = {http://dl.acm.org/citation.cfm?id=2643634.2643666},
	acmid = {2643666},
	publisher = {USENIX Association},
	address = {Berkeley, CA, USA},
} 

@article{GLR17:red-belly-bc,
	author    = {Tyler Crain and
	Vincent Gramoli and
	Mikel Larrea and
	Michel Raynal},
	title     = {Leader/Randomization/Signature-free Byzantine Consensus for Consortium
	Blockchains},
	journal   = {CoRR},
	volume    = {abs/1702.03068},
	year      = {2017},
	url       = {http://arxiv.org/abs/1702.03068},
	archivePrefix = {arXiv},
	eprint    = {1702.03068},
	timestamp = {Wed, 07 Jun 2017 14:41:08 +0200},
	biburl    = {http://dblp.org/rec/bib/journals/corr/CrainGLR17},
	bibsource = {dblp computer science bibliography, http://dblp.org}
}


@misc{Nak2012:bitcoin,
	added-at = {2014-04-17T08:33:06.000+0200},
	author = {Nakamoto, Satoshi},
	biburl = {https://www.bibsonomy.org/bibtex/23db66df0fc9fa2b5033f096a901f1c36/ngnn},
	interhash = {423c2cdff70ba0cd0bca55ebb164d770},
	intrahash = {3db66df0fc9fa2b5033f096a901f1c36},
	keywords = {imported},
	timestamp = {2014-04-17T08:33:06.000+0200},
	title = {Bitcoin: A peer-to-peer electronic cash system},
	url = {http://www.bitcoin.org/bitcoin.pdf},
	year = 2009
}

@misc{But2014:ethereum,
	author = {Vitalik Buterin},
	title = {Ethereum: A next-generation smart contract and decentralized application platform},
	year = {2014},
	howpublished = {\url{https://github.com/ethereum/wiki/wiki/White-Paper}},
	note = {Accessed: 2018-07-11},
	url = {https://github.com/ethereum/wiki/wiki/White-Paper},
}

@inproceedings{Dem1987:gossip,
	author = {Demers, Alan and Greene, Dan and Hauser, Carl and Irish, Wes and Larson, John and Shenker, Scott and Sturgis, Howard and Swinehart, Dan and Terry, Doug},
	title = {Epidemic Algorithms for Replicated Database Maintenance},
	booktitle = {Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing},
	series = {PODC '87},
	year = {1987},
	isbn = {0-89791-239-X},
	location = {Vancouver, British Columbia, Canada},
	pages = {1--12},
	numpages = {12},
	url = {http://doi.acm.org/10.1145/41840.41841},
	doi = {10.1145/41840.41841},
	acmid = {41841},
	publisher = {ACM},
	address = {New York, NY, USA},
} 

@article{Gue2018:sbft,
	author    = {Guy Golan{-}Gueta and
	Ittai Abraham and
	Shelly Grossman and
	Dahlia Malkhi and
	Benny Pinkas and
	Michael K. Reiter and
	Dragos{-}Adrian Seredinschi and
	Orr Tamir and
	Alin Tomescu},
	title     = {{SBFT:} a Scalable Decentralized Trust Infrastructure for Blockchains},
	journal   = {CoRR},
	volume    = {abs/1804.01626},
	year      = {2018},
	url       = {http://arxiv.org/abs/1804.01626},
	archivePrefix = {arXiv},
	eprint    = {1804.01626},
	timestamp = {Tue, 01 May 2018 19:46:29 +0200},
	biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-01626},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{BLS2001:crypto,
	author = {Boneh, Dan and Lynn, Ben and Shacham, Hovav},
	title = {Short Signatures from the Weil Pairing},
	booktitle = {Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology},
	series = {ASIACRYPT '01},
	year = {2001},
	isbn = {3-540-42987-5},
	pages = {514--532},
	numpages = {19},
	url = {http://dl.acm.org/citation.cfm?id=647097.717005},
	acmid = {717005},
	publisher = {Springer-Verlag},
	address = {Berlin, Heidelberg},
} 


