mscTemplate.bib

   1 % This file was created with JabRef 2.5.
   2 % Encoding: MacRoman
   3
   4 @INPROCEEDINGS{aguilera09b,
   5   author = {Marcos K. Aguilera and Michael Walfish},
   6   title = {No Time for Asynchrony},
   7   booktitle = {Proc. of the 12th Workshop on Hot Topics in Operating Systems},
   8   year = {2009},
   9   publisher = {USENIX Association},
  10   file = {:/Users/buzato/bibliobase/papers/aguilera09b.pdf:PDF},
  11   keywords = {pfdtreplica},
  12   owner = {buzato},
  13   timestamp = {2010.03.29}
  14 }
  15
  16 @ARTICLE{chandra96c,
  17   author = {T. D. Chandra and V. Hadzilacos and S. Toueg},
  18   title = {The Weakest Failure Detector for Solving Consensus},
  19   journal = {Journal of the ACM},
  20   year = {1996},
  21   volume = {43},
  22   pages = {685--722},
  23   number = {4},
  24   month = jul,
  25   area = {Distributed Computing},
  26   file = {:/Users/buzato/bibliobase/papers/chandra96c.pdf:PDF},
  27   owner = {buzato},
  28   timestamp = {2008.10.10}
  29 }
  30
  31 @ARTICLE{cristian99,
  32   author = {Flaviu Cristian and Christof Fetzer},
  33   title = {The Timed Asynchronous Distributed System Model},
  34   journal = {IEEE Transactions on Parallel and Distributed Systems},
  35   year = {1999},
  36   volume = {10},
  37   pages = {642-657},
  38   address = {Los Alamitos, CA, USA},
  39   doi = {http://doi.ieeecomputersociety.org/10.1109/71.774912},
  40   file = {:/Users/buzato/bibliobase/papers/cristian99.pdf:PDF},
  41   issn = {1045-9219},
  42   owner = {buzato},
  43   publisher = {IEEE Computer Society},
  44   timestamp = {2010.07.29}
  45 }
  46
  47 @INPROCEEDINGS{ezhilchelvan09,
  48   author = {Paul Ezhilchelvan and Santosh Shrivastava},
  49   title = {Learning from the Past for Resolving Dilemmas of Asynchrony},
  50   booktitle = {Proc. of the 3rd ACM SIGOPS International Workshop on Large Scale
  51         Distributed Systems and Middleware},
  52   year = {2009},
  53   file = {:/Users/buzato/bibliobase/papers/ezhilchelvan09.pdf:PDF},
  54   keywords = {pfdtreplica},
  55   owner = {buzato},
  56   timestamp = {2010.03.29}
  57 }
  58
  59 @INPROCEEDINGS{fetzer96,
  60   author = {Fetzer, Christof and Cristian, Flaviu},
  61   title = {Fail-awareness in timed asynchronous systems},
  62   booktitle = {PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles
  63         of distributed computing},
  64   year = {1996},
  65   pages = {314--321},
  66   address = {New York, NY, USA},
  67   publisher = {ACM},
  68   doi = {http://doi.acm.org/10.1145/248052.248119},
  69   file = {:/Users/buzato/bibliobase/papers/fetzer96.pdf:PDF},
  70   isbn = {0-89791-800-2},
  71   keywords = {failure detector, clock synchronization, NTP},
  72   location = {Philadelphia, Pennsylvania, United States},
  73   owner = {buzato},
  74   timestamp = {2009.10.30}
  75 }
  76
  77 @INPROCEEDINGS{fetzer05,
  78   author = {Christof Fetzer and Ulrich Schmid and Martin S?sskraut},
  79   title = {On the Possibility of Consensus in Asynchronous Systems with Finite
  80         Average Response Times},
  81   booktitle = {Distributed Computing Systems, International Conference on},
  82   year = {2005},
  83   pages = {271-280},
  84   address = {Los Alamitos, CA, USA},
  85   publisher = {IEEE Computer Society},
  86   doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2005.57},
  87   file = {:/Users/buzato/bibliobase/papers/fetzer05.pdf:PDF},
  88   issn = {1063-6927},
  89   owner = {buzato},
  90   timestamp = {2010.08.13}
  91 }
  92
  93 @ARTICLE{fischer85,
  94   author = {Michael J. Fischer and Nancy A. Lynch and Michael S. Paterson},
  95   title = {Impossibility of distributed consensus with one faulty process},
  96   journal = {J. ACM},
  97   year = {1985},
  98   volume = {32},
  99   pages = {374--382},
 100   number = {2},
 101   address = {New York, NY, USA},
 102   doi = {http://doi.acm.org/10.1145/3149.214121},
 103   file = {fischer85.pdf:papers/fischer85.pdf:PDF},
 104   issn = {0004-5411},
 105   keywords = {consensus},
 106   owner = {buzato},
 107   publisher = {ACM Press},
 108   review = {Classic impossibility result for asynchronous systems.},
 109   timestamp = {2008.10.10}
 110 }
 111
 112 @ARTICLE{keidar02,
 113   author = {Idit Keidar and Sergio Rajsbaum},
 114   title = {A simple proof of the uniform consensus synchronous lower bound},
 115   journal = {Information Processing Letters},
 116   year = {2003},
 117   volume = {85},
 118   pages = {47 - 52},
 119   number = {1},
 120   doi = {DOI: 10.1016/S0020-0190(02)00333-2},
 121   file = {:/Users/buzato/bibliobase/papers/keidar02.pdf:PDF},
 122   issn = {0020-0190},
 123   keywords = {Distributed computing},
 124   owner = {buzato},
 125   timestamp = {2010.04.06},
 126   url = {http://www.sciencedirect.com/science/article/B6V0F-4619MD5-2/2/1e18868b812187cd4f20949273362c61}
 127 }
 128
 129 @ARTICLE{keidar01,
 130   author = {Keidar, Idit and Rajsbaum, Sergio},
 131   title = {On the cost of fault-tolerant consensus when there are no faults:
 132         preliminary version},
 133   journal = {SIGACT News},
 134   year = {2001},
 135   volume = {32},
 136   pages = {45--63},
 137   number = {2},
 138   address = {New York, NY, USA},
 139   doi = {http://doi.acm.org/10.1145/504192.504195},
 140   file = {:/Users/buzato/bibliobase/papers/keidar01.pdf:PDF},
 141   issn = {0163-5700},
 142   keywords = {pdftreplica},
 143   owner = {buzato},
 144   publisher = {ACM},
 145   timestamp = {2010.04.02}
 146 }
 147
 148 @ARTICLE{lamport06,
 149   author = {Leslie Lamport},
 150   title = {Lower bounds for asynchronous consensus},
 151   journal = {Distributed Computing},
 152   year = {2006},
 153   volume = {19},
 154   pages = {104---125},
 155   number = {2},
 156   month = {June},
 157   file = {lamport06b.pdf:papers/lamport06b.pdf:PDF},
 158   owner = {buzato},
 159   timestamp = {2008.10.10}
 160 }
 161
 162 @ARTICLE{lamport06a,
 163   author = {Leslie Lamport},
 164   title = {Fast {P}axos},
 165   journal = {Distrib. Comput.},
 166   year = {2006},
 167   volume = {19},
 168   pages = {79--103},
 169   number = {2},
 170   month = oct,
 171   address = {London, UK},
 172   doi = {http://dx.doi.org/10.1007/s00446-006-0005-x},
 173   file = {lamport06a.pdf:papers/lamport06a.pdf:PDF},
 174   issn = {0178-2770},
 175   keywords = {paxos, consensus},
 176   owner = {buzato},
 177   publisher = {Springer-Verlag},
 178   timestamp = {2008.10.10}
 179 }
 180
 181 @ARTICLE{lamport98,
 182   author = {Leslie Lamport},
 183   title = {The part-time parliament},
 184   journal = {ACM Trans. Comput. Syst.},
 185   year = {1998},
 186   volume = {16},
 187   pages = {133--169},
 188   number = {2},
 189   address = {New York, NY, USA},
 190   doi = {http://doi.acm.org/10.1145/279227.279229},
 191   file = {lamport98.pdf:papers/lamport98.pdf:PDF},
 192   issn = {0734-2071},
 193   keywords = {consensus, crash-recovery, paxos},
 194   owner = {buzato},
 195   publisher = {ACM Press},
 196   timestamp = {2008.10.10}
 197 }
 198
 199 @ARTICLE{mishra02,
 200   author = {Shivakant Mishra and Christof Fetzer and Flaviu Cristian},
 201   title = {The Timewheel Group Communication System},
 202   journal = {IEEE Transactions on Computers},
 203   year = {2002},
 204   volume = {51},
 205   pages = {883-899},
 206   address = {Los Alamitos, CA, USA},
 207   doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2002.1024737},
 208   issn = {0018-9340},
 209   owner = {buzato},
 210   publisher = {IEEE Computer Society},
 211   timestamp = {2010.07.29}
 212 }
 213
 214 @article{dolev87,
 215         Publisher = {ACM},
 216         author = {Dolev, D. and Dwork, C. and Stockmeyer, L.},
 217         title = {On the minimal synchronism needed for distributed consensus},
 218         journal = {Journal of the ACM (JACM)},
 219         volume = {34},
 220         number = {1},
 221         pages = {77-97},
 222         year = {1987},
 223 }
 224
 225 @article{dwork88,
 226   title={{Consensus in the presence of partial synchrony}},
 227   author={Dwork, C. and Lynch, N. and Stockmeyer, L.},
 228   journal={Journal of the ACM (JACM)},
 229   volume={35},
 230   number={2},
 231   pages={288--323},
 232   year={1988},
 233   publisher={ACM}
 234 }
 235
 236 @article{charron-bost04,
 237         Publisher = {Elsevier},
 238         author = {Charron-Bost, B. and Schiper, A.},
 239         title = {Uniform consensus is harder than consensus},
 240         journal = {Journal of Algorithms},
 241         volume = {51},
 242         number = {1},
 243         pages = {15-37},
 244         year = {2004},
 245         doi = {10.1016/j.jalgor.2003.11.001},
 246 }
 247
 248 @techreport{raynal02,
 249         address = {Université de Rennes 1},
 250         institution = {Institut de Reserche en Systèmes Alèatoires},
 251         month = {July},
 252         Publisher = {IEEE Computer Society},
 253         author = {Raynal, M.},
 254         title = {Consensus in synchronous systems: a concise guided tour},
 255         year = {2002},
 256 }
 257
 258 @techreport{rodrigues02,
 259         institution = {Department of Informatics, University of Lisbon},
 260         month = {September},
 261         type = {Tech Report},
 262         author = {Vicente, P. and Rodrigues, L.},
 263         title = {An Indulgent Uniform Total Order Algorithm with Optimistic Delivery},
 264         year = {2002},
 265 }
 266
 267 @incollection{pedone98,
 268         Affiliation = {Ecole Polytechnique Fédérale de Lausanne Département d’Informatique 1015 Lausanne Switzerland 1015 Lausanne Switzerland},
 269         booktitle = {Distributed Computing},
 270         Chapter = {Lecture Notes in Computer Science},
 271         editor = {Kutten, Shay},
 272         publisher = {Springer},
 273         Url = {http://dx.doi.org/10.1007/BFb0056492},
 274         author = {Pedone, Fernando and Schiper, André},
 275         title = {Optimistic Atomic Broadcast},
 276         journal = {Distributed Computing},
 277         volume = {1499},
 278         pages = {318-332},
 279         year = {1998},
 280         doi = {10.1007/BFb0056492},
 281 }
 282
 283 @article{felber01,
 284         address = {Mesa, AZ, United States},
 285         booktitle = {21st IEEE International Conference on Distributed Computing Systems},
 286         Isbn = {0-7695-1077-9},
 287         month = {April},
 288         Organization = {Published by the IEEE Computer Society},
 289         Publisher = {IEEE Computer Society},
 290         author = {Felber, Pascal and Schiper, André},
 291         title = {Optimistic Active Replication},
 292         journal = {Distributed Computing Systems, International Conference on},
 293         volume = {0},
 294         pages = {0333},
 295         year = {2001},
 296         doi = {http://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918963},
 297 }
 298
 299 @INPROCEEDINGS{vieira09,
 300   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 301   title = {The Performance of {P}axos and {F}ast {P}axos},
 302   booktitle = {SBRC '09: Proc. of the 27th Brazilian Symposium on Computer Networks
 303         and Distributed Systems},
 304   year = {2009},
 305   pages = {291--304},
 306   address = {Recife, Brasil},
 307   month = may,
 308   file = {vieira09.pdf:papers/vieira09.pdf:PDF},
 309   keywords = {paxos, performance},
 310   owner = {gdvieira},
 311   timestamp = {2010.02.09},
 312   url = {http://www.ic.unicamp.br/~gdvieira/publications/}
 313 }
 314
 315 @INPROCEEDINGS{vieira08a,
 316   author = {Gustavo Maciel Dias Vieira and Luiz Eduardo Buzato},
 317   title = {{T}replica: Ubiquitous replication},
 318   booktitle = {SBRC '08: Proc. of the 26th Brazilian Symposium on Computer Networks
 319         and Distributed Systems},
 320   year = {2008},
 321   address = {Rio de Janeiro, Brasil},
 322   month = may,
 323   file = {vieira08a.pdf:papers/vieira08a.pdf:PDF},
 324   keywords = {persistent queues, active replication, paxos, middleware},
 325   owner = {gdvieira},
 326   timestamp = {2008.12.05},
 327   url = {http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Trabalho?id=7450}
 328 }
 329
 330 @ARTICLE{vieira08b,
 331   author = {Gustavo Maciel Dias Vieira and Luiz Eduardo Buzato},
 332   title = {On the coordinator's rule for {F}ast {P}axos},
 333   journal = {Information Processing Letters},
 334   year = {2008},
 335   volume = {107},
 336   pages = {183--187},
 337   month = aug,
 338   doi = {http://dx.doi.org/10.1016/j.ipl.2008.03.001},
 339   file = {vieira08b.pdf:papers/vieira08b.pdf:PDF;Preprint:papers/vieira08b-preprint.pdf:PDF},
 340   keywords = {paxos},
 341   owner = {gdvieira},
 342   timestamp = {2008.08.12}
 343 }
 344
 345 @TECHREPORT{vieira09-tr,
 346   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 347   title = {The Performance of {P}axos and {F}ast {P}axos},
 348   institution = {Institute of Computing, University of Campinas},
 349   year = {2008},
 350   number = {IC-08-35},
 351   month = dec,
 352   file = {vieira09-tr.pdf:papers/vieira09-tr.pdf:PDF},
 353   keywords = {paxos, performance},
 354   owner = {gdvieira},
 355   timestamp = {2010.02.10},
 356   url = {http://www.ic.unicamp.br/~reltech/2008/abstracts.html}
 357 }
 358
 359 @TECHREPORT{vieira08a-tr,
 360   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 361   title = {{T}replica: Ubiquitous replication},
 362   institution = {Institute of Computing, University of Campinas},
 363   year = {2007},
 364   number = {IC-07-37},
 365   month = dec,
 366   file = {vieira08a-tr.pdf:papers/vieira08a-tr.pdf:PDF},
 367   keywords = {active replication, middleware, paxos, persistent queues},
 368   owner = {gdvieira},
 369   timestamp = {2010.02.10},
 370   url = {http://www.ic.unicamp.br/~reltech/2007/abstracts.html}
 371 }
 372
 373 @TECHREPORT{vieira08b-tr,
 374   author = {Vieira, Gustavo Maciel Dias and Buzato, Luiz Eduardo},
 375   title = {On the coordinator's rule for {F}ast {P}axos},
 376   institution = {Institute of Computing, University of Campinas},
 377   year = {2007},
 378   number = {IC-07-35},
 379   month = nov,
 380   file = {vieira08b-tr.pdf:papers/vieira08b-tr.pdf:PDF},
 381   keywords = {paxos},
 382   owner = {gdvieira},
 383   timestamp = {2010.02.10},
 384   url = {http://www.ic.unicamp.br/~reltech/2007/abstracts.html}
 385 }
 386
 387 @TECHREPORT{vieira-tr10a,
 388   author = {Vieira, Gustavo Maciel Dias and Garcia, Islene Calciolari and Buzato,
 389         Luiz Eduardo},
 390   title = {Seamless {P}axos Coordinators},
 391   institution = {Institute of Computing, University of Campinas},
 392   year = {2010},
 393   number = {IC-10-13},
 394   month = apr,
 395   file = {vieira-tr10a.pdf:papers/vieira-tr10a.pdf:PDF},
 396   keywords = {paxos, leader election, dependability, performance},
 397   owner = {gdvieira},
 398   timestamp = {2010.04.27},
 399   url = {http://www.ic.unicamp.br/~reltech/2010/abstracts.html}
 400 }
 401
 402
 403 @INPROCEEDINGS{buzato09,
 404   author = {Luiz Eduardo Buzato and Gustavo Maciel Dias Vieira and Willy Zwaenepoel},
 405   title = {Dynamic Content Web Applications: Crash, Failover, and Recovery Analysis},
 406   booktitle = {DSN 2009: 39th International Conference on Dependable Systems and
 407         Networks},
 408   year = {2009},
 409   pages = {229--238},
 410   address = {Estoril, Lisbon, Portugal},
 411   month = jun,
 412   doi = {http://dx.doi.org/10.1109/DSN.2009.5270331},
 413   file = {buzato09.pdf:papers/buzato09.pdf:PDF},
 414   keywords = {active replication, dependability, performance},
 415   owner = {gdvieira},
 416   timestamp = {2009.11.16}
 417 }
 418
 419 @InCollection{Chor89,
 420   author =       {Chor, Benny and Dwork, Cynthia},
 421   booktitle =    {Advances in Computing research},
 422   title =        {Randomization in byzantine agreement},
 423   publisher =    {.},
 424   pages =        {443-497},
 425   year =         1989}
 426
 427 @comment{jabref-meta: selector_journal:}
 428
 429 @comment{jabref-meta: selector_author:}
 430
 431 @comment{jabref-meta: selector_keywords:}
 432
 433 @comment{jabref-meta: selector_publisher:}
 434
 435 @book{dolev2000self,
 436   title={{Self-stabilization}},
 437   author={Dolev, S.},
 438   isbn={0262041782},
 439   year={2000},
 440   publisher={The MIT press}
 441 }
 442
 443 @book{Lynch:1996:DA:525656,
 444  author = {Lynch, Nancy A.},
 445  title = {Distributed Algorithms},
 446  year = {1996},
 447  isbn = {1558603484},
 448  publisher = {Morgan Kaufmann Publishers Inc.},
 449  address = {San Francisco, CA, USA},
 450 }