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