Quellcode-Bibliothek root.bib

Article{arnoy:shiftinggears
  author =       {Amotz Bar-Noy   =jacm
  title =apr,
  journal =      {Inf. Comput.},
  year =         1992,
  volume=    97,
  number =    2,
  pages =     {205-233},
}

@InProceedings{ben-or:advantage,  pages="374-382,
   =       { BenOr}java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
title={Another  offreechoice completely asynchronousagreementprotocols,
  booktitle = {Proc. 2nd Symp. Principles of Distributed Computing (PODC 1983)},
  pages =     {27-30},
  year =      1983,
  editor =    {Robert L. Probert  {ttp//sa-./entriesDiskPaxosshtml
   =   MontrealCanada
  publisher = {ACM},
}

title  ThePart-ime java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 BielyMartinWidder  -,  ,AntoineHutleMartin Schiper\{}
 title = {Tolerating corrupted communication},
booktitle Proc th AnnualACM  onPrinciples  DistributedComputing}
 series = {PODC '07 },
 year = {2007publisher= { Kaufmann },
 isbn     { Mateo }
 java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 pages = {244   A  fortheofBased ,
numpages{10,
 publisher = {ACM},
 address =pages =  {3-106,
 keywords = {byzantine fault tolerance, consensus, dynamic faults, transient   =  2009
}

@InProceedings{charron:formalvolume = 5797,
     = {ecture  in  Science,
     = {, France},
  booktitle = {13th Intl. Symp. Stabilization, Safety, and 
  pages =     {120-134},
  year =      2011,
  editor =    {Xavier D{\'e}fago and Franck Petit and Vincent Villain},
  volume =    6976,
  series =    {LNCS},
  address =   {Grenoble, France},
  publisher = {Springer},
}

@Article{charron:formal,
  author =       {Bernadette Charron-Bost and Stephan Merz},
  title =        {Formal Verification of a {C}onsensus Algorithm in the {H}eard-{O}f Model},
  journal =      {Intl. J. Software and Informatics},
  volume =       3,
  number =       {2-3},
  pages =        {273--304},
  year =         2009,
}

@Article{charron:heardof,
  author =       {Bernadette Charron-Bost and Andr{\'e} Schiper},
  title =        {The {Heard-Of} model: computing in distributed systems with benign faults},
  journal =      {Distributed Computing},
  year =         2009,
  volume =    22,
  number =    1,
  pages =     {49-71},
}

@article{dwork:consensus,
  Author = "Dwork, C. and N. A. Lynch and L. Stockmeyer",
  Title = "Consensus in the Presence of Partial Synchrony",
  journal = jacm,
  volume = 35,
  number = 2,
  month = apr,
  year = 1988,
  pages = "288--323",
}

@article{FLP85,
  Author = "Fischer, M. J. and N. A. Lynch and M. S. Paterson",
  Title = "Impossibility of Distributed Consensus with one Faulty Process",
  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 of Formal Proofs},
  year =         {2005},
  url = {http://isa-afp.org/entries/DiskPaxos.shtml},
}

@Article{lamport:part-time,
  author =   {Leslie Lamport},
  title =   {The Part-Time Parliament},
  journal =   {ACM Trans. Comput. Syst.},
  year =   1998,
  volume =  16,
  number =  2,
  pages =  {133-169},
}

@Book{lynch:distributed,
  author =   {Nancy Lynch},
  title =   {Distributed Algorithms},
  publisher =   {Morgan Kaufmann Publishers},
  year =   1996,
  address =  {San Mateo, CA}
}

@InProceedings{saad:reduction,
  author =   {Mouna Chaouch-Saad and Bernadette Charron-Bost and Stephan Merz},
  title =   {A Reduction Theorem for the Verification of Round-Based Distributed Algorithms},
  booktitle = {Reachability Problems},
  pages =   {93--106},
  year =   2009,
  editor =   {Olivier Bournez and Igor Potapov},
  volume =   5797,
  series =   {Lecture Notes in Computer Science},
  address =   {Palaiseau, France},
  publisher = {Springer},
}