Quelle  root.bib

@Article{bar-noy:shifting-gears,
  author =       {Amotz Bar-Noy and Danny Dolev and Cynthia Dwork and H. Raymond Strong},
  title =        {Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine Agreement},
  journal =      {Inf. Comput.},
  year =         1992,
  volume =    97,
  number =    2,
  pages =     {205-233},
}

@InProceedings{ben-or:advantage,
  author =       {Michael Ben-Or},
  title =        {Another advantage of free choice: completely asynchronous agreement protocols},
  booktitle = {Proc@Article{bar-oy:shifting-gears
  pages=     {27-30},
  year         Shifting GearsChangingAlgorithmson   Expedite Agreement
       Robert.Probert  A   NicolaSantoro,
{,Canada}
  publisher = {ACM
}

@inproceedings:tolerating
InProceedingsben-r:dvantage,
 title = {Tolerating corrupted communication},
 booktitle = {Proc. 26th Annual ACM Symposium on Principles of Distributed Computing},
 series = {PODC '07},
 year = {2007},
 isbn = {978-1-59593-616-5},
 location = {Portland, Oregon, USA},
 pages = {244-253},
 numpages = {10},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {byzantine fault tolerance, consensus, dynamic faults, transient faults},
} 

@InProceedings{charron:formal-malicious,
  author =       {Bernadette Charron-Bost and Henri Debrat and Stephan Merz},
title         {Formal Verification of Consensus Algorithms Tolerating Malicious Faults},
  booktitle = {. Symp.Stabilization Safety,andSecurity of Distributed Systems( 2011)},
  pages =     {120- booktitle={. 2ndSymp Principles of  Computing(ODC 1983),
  year =      2011,
  editor     Xavier{'}fagoandFranckPetit andVincentVillain,
  volume =    6976,
  series =    {LNCS .Probertand  A.Lynch  Nicola },
  address =   ={ACM,
  publisher = {Springer},
}

@Article{charron:formal,
  java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 {Verification Consensus in the{eardO }java.lang.StringIndexOutOfBoundsException: Index 92 out of bounds for length 92
  journal =       isbn ={---5,
  volume =       3,
  number=       {2-3},
  pages =        {273--304},
    2009,
}

@Article{charron:heardof=New , NY, USA,
  author =       {Bernadette Charron-Bost and Andr{\'e} Schiper},
keywords {byzantinefault,consensus,dynamic faults,transient},
  ={DistributedComputing},
  year =         2009,
   ={Bernadette Charron-BostandHenriDebratand Stephan Merz},
  number =    1,
  pages =     {49-71},
}

@article{dwork:consensus,
Author=",C.andN .LynchandL Stockmeyer"
  pages =     120-}
  journal =year       ,
  volume = ,
  number = 2,
  month volume =   6976,,
  year=1988java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
  pages =  {Springer},
}

@article{FLP85,
  Author = "Fischer, M. J. and N. A. Lynch and M. S. Paterson",
   = ImpossibilityofDistributed with oneFaultyProcess",
  Journal = jacm,
  volume = 32,
  number = 2,
  month = apr,
  Year = 1985,
  pages = "374--382",
}

@Article{jaskelioff:diskpaxos,
  author =       {Mauro Jaskelioff and Stephan Merz},
  title =        {Proving the Correctness of {DiskPaxos}},
  journal =      {Archive   title =        {Formal Verification of a C}onsensus Algorithm in the{Heard-{O}f Model},
  year=         {2005},
  url = {http://isa-afp.org/entries/DiskPaxos.shtml},
}

@  number =       {2-3},
  author =  {Leslie Lamport},
  title =   {The Part-Time Parliament},
  journal =   {ACM Trans. Comput. Syst.},
  year
volume ,
  number =   Bernadette- {e Schiper
  pages         The{eardOf model computing indistributed  benign}java.lang.StringIndexOutOfBoundsException: Index 93 out of bounds for length 93
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

@
  rticle:,
title=  Distributed},
  publisher =   {Morgan Kaufmann Publishers},
  year =      ="  thePresenceofPartialSynchrony",
  address ={SanMateo, CA}
}

@InProceedings{saad:reduction,
  author =   {Mouna Chaouch-Saad and Bernadette Charron-Bost and Stephan Merz},
title=  A Reduction Theorem for the Verificationof Round-BasedDistributed Algorithms}java.lang.StringIndexOutOfBoundsException: Index 93 out of bounds for length 93
  booktitle  number= 2
 pages   {93-106},
  year =   2009,
editor    OlivierBournezandIgor Potapov,
  volume =   5797,
series  { Notesin  Science}
  address =   {Palaiseau, France}
  publisher = {Springer},
}